the completeness axiom
/ DAY-duh-kint /
The Archimedean axiom forbids lengths that are infinitely large or small, but it still leaves the line riddled with pinholes. Picture the rational points on a number line: they are everywhere dense, yet there is no rational point at the square root of 2, so a line whose only points are rationals has a gap right where a diagonal of a unit square should cross. The completeness axiom is the patch that fills every such hole, guaranteeing the geometric line is a seamless continuum with no missing points.
Hilbert phrases it as a maximality condition: the points of a line form a system to which no further points can be added without breaking the earlier axioms (incidence, order, congruence, and the Archimedean axiom). In plainer terms, the line is already as full as those axioms allow — you cannot squeeze in an extra point. An equivalent and more intuitive version is Dedekind's axiom: if you split all the points of a line into two non-empty sets, a 'left' part and a 'right' part, so that every left point precedes every right point, then there is exactly one point that makes the cut — either the last point on the left or the first on the right. Every clean division of the line is sealed by an actual point; no division falls into a gap.
Why it matters: completeness is what makes two circles that ought to cross actually meet at a point, what guarantees a continuous curve crossing from one side of a line to the other really touches the line, and what lets every length correspond to a real number and every real number to a length. Together with the Archimedean axiom it makes the geometric line a faithful copy of the real number line. This is also the deepest axiom — it is what raises Euclidean geometry from a discrete or rational skeleton to the full real continuum, and it is exactly the ingredient that makes the real plane the one and only model up to isomorphism.
Cut the line at the gap where the square root of 2 belongs: left set = all points whose distance from the origin squares to less than 2, right set = the rest. Over the rationals this cut hits empty air. The completeness axiom insists a real point sits exactly there — and that point is the diagonal length of a unit square, finally given a home.
Every clean cut of the line is sealed by a point — the line has no holes.
Completeness is stronger than the Archimedean axiom and does not follow from it: the rational line is Archimedean yet full of gaps. Both continuity axioms together — and only together — pin the line to the real numbers.