Hilbert's axioms
/ HILL-bert /
Euclid's Elements is a magnificent building, but a few of its load-bearing arguments quietly rely on facts the postulates never grant — that a line entering a triangle must leave it, that two circles which look like they cross really do meet. David Hilbert, in his 1899 book Grundlagen der Geometrie (Foundations of Geometry), rebuilt the whole of plane and solid geometry on a complete, gap-free set of axioms, fixing exactly these silent assumptions. His system is the standard modern repair of Euclid.
Hilbert starts from three undefined kinds of object — point, line, plane — and three undefined relations — 'lies on' (incidence), 'between', and 'congruent'. He then groups his axioms into five families, each governing one of these notions: the axioms of incidence (which points lie on which lines and planes), the axioms of order (how 'betweenness' behaves, including Pasch's axiom), the axioms of congruence (when segments and angles count as equal in size), the axioms of continuity (the Archimedean axiom and a completeness axiom, which guarantee the line has no gaps), and the single axiom of parallels. From these — and from these alone, never from a diagram — every theorem of Euclidean geometry follows by logic.
The pay-off is twofold. First, rigor: every step Euclid took 'by inspection of the figure' is now backed by a stated axiom, so the proofs are genuinely complete. Second, structure: by separating the axioms into groups, Hilbert could ask precisely which theorems need which axioms — for instance, which results survive if you drop the parallel axiom (neutral geometry), and how the continuity axioms connect geometry to the real numbers. His framework is what lets us state and prove the consistency, independence, and categoricity of Euclidean geometry.
Euclid's very first proposition builds an equilateral triangle by intersecting two circles — and silently assumes the circles cross. Nothing in his five postulates guarantees that intersection point exists. Hilbert's continuity axioms (Archimedean plus completeness) are exactly what supply it, closing the gap.
Five axiom groups — incidence, order, congruence, continuity, parallels — turn Euclid's pictures into airtight logic.
Hilbert did not change which theorems are true; Euclidean geometry stays Euclidean. He changed the foundation, supplying the missing axioms so the existing theorems are honestly proved rather than assumed from diagrams.