Do the axioms of complete ordered number fields come from the geometry Axioms of Hilbert? "The Foundations of Geometry (1899)" or did Hilbert publish some other axioms which evolved into the field axioms? I read this:
The year seems not to line up 1899 vs 1900, and there were 21 geometry axioms as opposed to the 18 cited in the link. If there was a separate paper in 1900 defining the reals, does anyone have the original citation? I am not finding it, thanks.
See Foundations (1899) §13. COMPLEX NUMBER-SYSTEMS (page 23).
Hilbert enumerates 12 proerties of connection: $+, \cdot, 0, 1$, followed by 4 properties regarding order: $<$ and Archimedes axiom.
Up to now, 17 axioms.
Then he develops the so-called Algebra of segments, based on the plane geometry axioms (§24-on) and uses this "geometrical model" to show that:
Then, in §28:
Finally (§32), he proves the commutative law of multiplication.
The 18th axiom is the Axiom of Completeness (Vollständigkeit).