There are also set-theoretic constructions of the Reals that satisfy the axioms (e.g. Dedekind cuts)