Primary Sources

Mathematics

Euclid's Elements: The First Axiomatic System

Euclid of Alexandria · Elements · c. 300 BCE

The book that taught the West what it means to *prove* something.

For more than two millennia the Elements was, after the Bible, the most printed book in the Western world — and the standard geometry textbook into the twentieth century. Its lasting achievement is not any single theorem but a method: begin from a handful of explicitly stated definitions and postulates, and derive everything else by proof. This is the template for deductive reasoning itself.


Key passages

  1. Book I, Definition 1
    A point is that which has no part.

    Euclid begins by defining his objects before using them. A point has no size — it is a location, not a thing. Modern mathematics would later leave 'point' undefined (a primitive term), but Euclid's instinct to fix the vocabulary first is exactly right, and its absence is the commonest flaw in loose arguments.

  2. Book I, Postulate 5 (the Parallel Postulate)
    That, if a straight line falling on two straight lines makes the interior angles on the same side less than two right angles, the two straight lines, if produced indefinitely, meet on that side.

    The most famous sentence in mathematics. It is clumsier than the other four postulates, and for two thousand years mathematicians tried to derive it from the rest — and failed. In the nineteenth century they discovered why: replacing it yields consistent 'non-Euclidean' geometries (the ones Einstein's spacetime needs). A single stubborn assumption, examined honestly, opened an entire universe of new mathematics.

  3. Book I, Proposition 47 (the Pythagorean theorem)
    In right-angled triangles the square on the side subtending the right angle is equal to the squares on the sides containing the right angle.

    Not as an algebraic identity — Euclid had no algebra — but a statement about literal squares built on the sides of a triangle, proved by rearranging areas. Reading it in the original reminds us that a famous result and its famous notation are different things, and that the geometric picture came first.


A guided reading

Read only Book I, and read it slowly. Track how each proposition is allowed to use only the definitions, postulates, and propositions that came before it — never intuition, never a picture that merely looks right. Try to spot where Euclid quietly assumes something he never stated (he does, more than once). By Proposition 47 you will understand not just the Pythagorean theorem but the whole idea of a proof.


Go deeper