The Axiomatic Dream of Euclid — Building a World from Just Five Postulates

Add up the interior angles of a triangle and you get $180^\circ$. Everyone learns this fact at school — but why are we entitled to call it "true"? Draw a triangle on paper and measure with a protractor, and yes, it comes out to roughly $180^\circ$. Yet we have not measured every triangle in the world. And still, a mathematician will declare without hesitation that it holds for every triangle.

Trace the source of that confidence and you arrive at a single book written more than two thousand years ago: Euclid's Elements. In this article I want to take a relaxed look at Euclid's grand dream — the dream of not measuring the truths of shapes, but building them up through logic.

From measuring mathematics to building mathematics

Ancient Egypt and Babylonia had splendid geometric know-how too. Every time the Nile flooded they re-surveyed the land, and they stacked pyramids with precision — they held a mountain of rules of thumb, "do it this way and it works." But that was practical knowledge, like a cooking recipe.

The mathematicians of ancient Greece raised a strange question here. "We see that it works. But why does it work?" Rather than checking by measurement, they wanted to be satisfied by tracing the reason through logic. This insistence on "why" turned a patchwork of rules of thumb into a single system connected by proof.

Euclid compiled the Elements as the culmination of this current. It is less a parade of new theorems than the geometric knowledge of the past stacked up in the right order — from foundation to roof, like a single building with no gaps and no leaps.

Just five agreements

A building needs a foundation. What Euclid chose for his was a set of astonishingly plain agreements. Namely: a segment can be drawn between any two points; a segment can be extended indefinitely; a circle can be drawn with any center and radius; all right angles are equal; and the famous fifth — the parallel postulate. Laid out, they are these five.

1. A segment can be drawn joining any two points.
2. A segment can be extended indefinitely.
3. A circle can be drawn with any center and radius.
4. All right angles are equal to one another.
5. If a line falling on two lines makes the interior angles on one side sum to less than two right angles, the two lines meet on that side (the parallel postulate).

These are "starting points accepted without proof," and they are called axioms (or postulates). In the Elements they are, strictly speaking, called postulates, though today they are often grouped together as axioms. Things so obvious that no one demands a proof — one deliberately singles out only a few of them. From there, everything proceeds by logic alone. That is the rule of the game.

What is delightful is that although one merely takes "the obvious" as a starting point, the conclusions drawn out of it do not stay obvious. Out of a few agreements, an unexpectedly rich world rises up.

Stacking theorems on top of the agreements

So how is the stacking done? Let us taste just the flavor of it. One of the first propositions to be proved is "an equilateral triangle can be constructed on a given segment." Take the two endpoints as centers and draw two circles of the same radius (using the agreement that a circle can be drawn), then join their intersection to the two endpoints. All three sides are radii of equal circles, so they are equal — and therefore the triangle is equilateral.

What is worth noting is that every tool used here is only an agreement already accepted. No new assumption is smuggled in. In this way, one step at a time, using only what was proved before as footing, one climbs to higher theorems. Even the opening fact "the angle sum of a triangle is $180^\circ$" is a step that appears a little way up this staircase.

Ultimately the Elements reaches all the way to the Pythagorean theorem — $a^2 + b^2 = c^2$, that formula you meet even at the introductory level (savor it at leisure in the Pythagorean theorem). To start from plain agreements and get this far — that is the power of the staircase called deduction.

If it is obvious to the eye, why prove it?

A plain doubt arises here. If a picture makes it obvious at a glance, is there any point in laboring over an argument?

The answer is that "a picture can lie." A figure drawn slightly off can look as though two lines meet at a single point when in fact they do not. Relying on intuition alone, you get fooled by a cunning drawing. A proof guarantees in words — not for one particular picture but for every case — why it must always be so.

And a proof carries an unexpected reward. Follow the staircase and you find that theorems you had memorized separately were, in fact, branches growing from the same root. The property of the inscribed angle theorem and of regular polygons stand on the same agreements too. A proof re-ties scattered pieces of knowledge into a single map.

One agreement that never sat quite right

Closing — building a world from agreements

Choose a few plain agreements and, by logic alone, build a world on top of them. This craft that Euclid demonstrated did not stay confined to geometry. Number, logic, and the many branches of modern mathematics carry on the same dream in altered forms. To discern "what is assumed, and what necessarily follows from it" — that became the very skeleton of the enterprise called mathematics.

The formulas and theorems you will meet at the introductory level are, each of them, a step of this staircase. If you climb while asking why each one holds, the world of shapes turns from something to memorize into a single connected building. For the next step, move on to Basic, where a story of reassembling the axioms from a different viewpoint awaits.