Is the real number structure unique?
To paint a more complete picture, you are right in that an axiomatization may very well have no model. An axiomatization is meaningless if nothing satisfies it. But if we can prove that there is a model, and the axioms are the only properties we care about, then we can happily work within the axiomatization to prove theorems about the structure that we have axiomatized. That is precisely what we are doing when we use an axiomatization of the real numbers to prove theorems about real numbers.
Now there are two common axiomatizations of the reals. One is a second-order theory including the completeness axiom (every subset of the reals with an upper bound has a least upper bound). By itself, this axiom is useless, because there is no axiom that asserts the existence of any set of reals at all! However, when we use this second-order theory we are always working outside the theory in the foundational system (such as ZFC set theory) where we do have axioms that allow construction of subsets of the reals. It is this particular axiomatization that has a unique model; there is a unique model of the second-order theory of the reals up to isomorphism. That implies immediately that all structures that you construct (like the Cauchy completion of the rationals or the Dedekind completion of the rationals) that satisfies this second-order axiomatization must be isomorphic to one another.
The core reason behind the uniqueness of complete ordered field is that any two such fields must contain an isomorphic copy of the rationals, and every element in each field cuts the rationals in the field into two parts, and the lower part has a least upper bound, and that different elements cut the rationals in different ways (by the Archimedean property that follows from the completeness property as well). This gives a one-to-one correspondence between the reals in one field to the reals in the other field. One can say that it is the rigidity and denseness of the rationals that is the key.
However, the other common axiomatization of the reals is the theory of real closed fields. Note that this axiomatization does not have a unique model. The computable reals form a countable real closed field, and satisfies every first-order sentence that $\mathbb{R}$ satisfies. It may be instructive to see the same phenomenon with the natural numbers, which form the unique model of the second-order Peano's axioms (which was his original formulation) up to isomorphism, while there are many non-isomorphic models of first-order PA. The distinction here between the first-order induction schema and the single second-order induction axiom must be appreciated for one to understand how the second-order theory can pin down the natural numbers unlike the first-order one. More specifically, second-order induction applies to every subset of the natural numbers (as seen from the foundational system), while first-order induction applies only to subsets that can be described using an arithmetical formula. There are uncountably many subsets, but only countably many formulae.
The (fake1) history of mathematics is
- We believed we understood the real numbers very well
- We wrote down simple properties (we believed) that the real numbers satisfy
- We checked that these properties are enough to actually prove from axioms all of the things we were proving about real numbers
Uniqueness, incidentally, comes from the third point. For example, one of those "things we were proving about real numbers" is that they are the completion of the rationals. Since the rationals are unique and completions are unique, the completion of the rationals must also be unique.
(that a complete ordered field contains the rationals follows from "field" and "ordered", and the topology on a complete ordered field follows from "ordered")
As usual, by "unique" I really mean "unique up to isomorphism". In this case, we even have "unique up to unique isomorphism".
1: true history is strange; it may not have happened in this order, or precisely like this
As Pugh states in Real Mathematical Analysis, the real numbers are the unique, up to order-preserving isomorphism, complete ordered field containing the rational numbers as an ordered subfield. For suppose $\mathbb{F}$ is a complete ordered field containing $\mathbb{Q}$ as an ordered subfield. Then the map $y \mapsto \{ q \in \mathbb{Q} :q < y \text{ in } \mathbb{F}\}$ is a order-preserving isomorphism from $\mathbb{F}$ to $\mathbb{R}$, where $\mathbb{R}$ is viewed as a set of Dedekind cuts.