A postulate is a statement that is assumed to be true without proof. Euclid, the father of geometry, based The Elements on ten such statements, divided into five "axioms" and five "postulates."[1] These are used as foundation for geometry[2] and occasionally applied to other sciences, such as special relativity.[3][4]
In ordinary discourse about a subject in mathematics or science, the terms "axiom" and "postulate" are often not distinguished—they are the statements that one takes as true from the outset, that one does not need to prove. One then uses those to prove other statements, which are then called theorems. The difference is that postulates are initial statements relating to the subject matter, such as the geometrical postulates (including Euclid's fifth postulate, below) about angles and lines. Axioms, on the other hand, tend to be more universal statements about logic, such as "if X=Y, then Y=X".
Most of Euclid's axioms and postulates do seem to be "true without needing proof;" for example, "Things which are equal to the same thing are also equal to one another."
Euclid's fifth postulate, the parallel postulate, however, is a little different. It says:
This is sometimes stated in an equivalent form, known as Playfair's axiom:
That has never seemed as "self-evident" as the others, and in fact for centuries mathematicians thought it could be proved and tried to produce proofs. Eventually, mathematicians realized that this was impossible. If you negated the parallel postulate, you ended up with a perfectly logical, consistent system, a non-Euclidean geometry that simply happened to describe a kind of geometry different from plane geometry.[5][6]
Without the fifth postulate many familiar geometric ideas are no longer true, these include,