LOGIKĒ · III · the first complete deductive system

Euclid

fl. c. 300 BCE · Alexandria, under Ptolemy I

Thales proved a truth; Aristotle named the forms of valid argument. Euclid built the cathedral. In the Elements he laid down a handful of definitions, five postulates, and five common notions — then deduced from them, in strict order, some 465 theorems across thirteen books, each resting only on what was proved before. Nothing assumed mid-stream, nothing taken on faith but the axioms at the foundation. For more than two thousand years, "to reason rigorously" simply meant "as in Euclid."

✓ STRONG

The axiomatic method. A whole science deduced from ten stated assumptions — the Elements is the foundational model of deductive rigor, the most influential textbook ever written.

◐ GAPPED

Not actually airtight. Euclid quietly used things he never stated (that two circles meet, that points lie "between"). Hilbert (1899) needed ~20 more axioms to close the gaps.

◔ A CHOICE

The fifth is independent. The parallel postulate can't be proved from the rest — deny it and you get consistent non-Euclidean geometries, which turned out to be the shape of Einstein's universe.

I · Proposition 1 — the first proof in the book

The very first thing the Elements does is build an equilateral triangle on a given segment — using nothing but the postulates "you may draw a circle" and "you may draw a line." Step through Euclid's construction and watch the reason it works fall out of the radii: the two new sides are each equal to the base because each is a radius of its circle.

(drag A or B to change the segment)

segment AB → circle ⊙A → circle ⊙B → intersection C → triangle ABC

AB = AB

the three sides

Given: a segment AB. Goal: an equilateral triangle on it. Press “next step.”

Postulates used: 3 (a circle of any centre and radius) and 1 (a line between two points). The conclusion — AC = BC = AB — comes from Common Notion 1: things equal to the same thing are equal to each other. That's the whole machine.

II · The ten foundations

Everything in 465 theorems rests on these. Five postulates (what you may construct) and five common notions (how equals behave) — and notice the fifth postulate is conspicuously longer and less obvious than the other four. People felt that for two millennia.

P1 A line joins any two points.

CN1 Things equal to the same thing are equal.

P2 A segment extends to a line.

CN2 Add equals to equals — still equal.

P3 A circle has any centre and radius.

CN3 Subtract equals from equals — still equal.

P4 All right angles are equal.

CN4 Things that coincide are equal.

P5 If a line crossing two lines makes the same-side interior angles less than two right angles, those two lines meet on that side. — the parallel postulate

CN5 The whole is greater than the part.

"There is no royal road to geometry." — Euclid to Ptolemy I, who wanted a shortcut

III · The fifth postulate — the crack that opened a universe

The fifth never looked self-evident, so for 2,000 years mathematicians tried to prove it from the other four. Every attempt failed — and in the 1800s Bolyai, Lobachevsky and Riemann saw why: it can't be proved, because it's a free choice. Deny it and geometry doesn't break; it changes. The clean test is a triangle's angles: they sum to exactly 180° only on a flat plane. Curve the world and the sum moves.

curvature

a triangle on a flat / spherical / saddle surface · the geometry it lives in decides its angle sum

180.0°

sum of the triangle's angles

Euclidean (flat)

which geometry

On a sphere (positive curvature) the angles sum to more than 180° — parallel lines converge and meet. On a saddle (negative) they sum to less — parallels diverge. Euclid's is the knife-edge flat case. None is "the true" geometry; the universe, Einstein found, runs on the curved ones.

Gate kept on. Euclid the person is almost a blank — we have a few anecdotes from centuries later and aren't certain he was one man rather than a school. His method is immortal, but his execution wasn't airtight: he leaned on unstated assumptions (that the two circles in Proposition 1 actually intersect; that a point can be "between" two others), which David Hilbert had to formalise with ~20 extra axioms in 1899 to make Greek geometry truly rigorous. The greatest deductive system ever built — and proof that even the gold standard had hidden joints.