Euclid's Elements is a mathematical and geometric treatise consisting of 13 books written by the Greek mathematician Euclid.
Euclid's Elements is a collection of definitions, postulates (axioms), propositions (theorems and constructions), and mathematical proofs of the propositions.
Near the beginning of the first book of the Elements, Euclid gives five postulates (axioms) for plane geometry, stated in terms of constructions.
"Let the following be postulated":
- "To draw a straight line from any point to any point."
- "To produce [extend] a finite straight line continuously in a straight line."
- "To describe a circle with any centre and distance [radius]."
- "That all right angles are equal to one another."
- The parallel postulate: "That, if a straight line falling on two straight lines make the interior angles on the same side less than two right angles, the two straight lines, if produced indefinitely, meet on that side on which are the angles less than the two right angles."
The five postulates may be translated into the following :
- Two points determine a straight line.
- A line segment extended infinitely in both directions produces a straight line.
- A circle is determined by a center and distance.
- All right angles are equal to one another.
- If a straight line falling an two straight lines forms interior angles on the same side less than 180 degrees, the two straight lines, if produced indefinitely, will meet on that side.
The Elements also include the following five "common notions":
- Things that are equal to the same thing are also equal to one another.
- If equals are added to equals, then the wholes are equal.
- If equals are subtracted from equals, then the remainders are equal.
- Things that coincide with one another equal one another.
- The whole is greater than the part.