Playfair's axiom

Euclid's fifth postulate is a mouthful about angles summing to less than two right angles. In 1795 John Playfair offered a cleaner statement that says exactly the same thing in a form you can picture instantly: given a line and a point not on it, there is one and only one line through that point that never meets the first line. One parallel, no more and no less. This crisp version is what most modern textbooks call 'the parallel postulate', and it is the form usually taught in school.

Look closely at the two words 'one and only'. They package two separate claims. Existence: through the outside point there is at least one parallel — and this part is actually a theorem of neutral geometry, provable without any parallel assumption at all. Uniqueness: there is at most one such parallel — and this is the genuinely Euclidean content, equivalent to Euclid's fifth. The whole logical weight sits on uniqueness. In hyperbolic geometry, existence still holds but uniqueness fails spectacularly: through the outside point pass infinitely many lines that never meet the given line. So when you weaken Playfair, you weaken precisely the 'only' and never the 'one'.

Because Playfair's axiom and Euclid's fifth postulate imply each other (each can be proved from the other using the neutral axioms), choosing between them is a matter of taste, not content — they cut the same geometries apart from the same place. Playfair is preferred today for its clarity, but it is worth remembering that this convenience is itself a small theorem: the equivalence of the two forms is something you prove, not something you assume.