Are the ordered field axioms consistent? Today in class a student asked to the professor

"Are the ordered field axioms consistent?"

And my prof replied something along the lines of "Yes, as we have a model of them: $\Bbb R$, this implies that the axioms are consistent." 
I couldn't understand it, why does the existence of a model imply the consistency of the system? Could someone explain this?
 A: This is an instance of the soundness theorem (for first-order logic; there is an analogous soundness theorem for propositional logic, which it might be good at to look at first). The theorem states that if $T$ proves $\theta$, then $\theta$ is true in every model of $T$. The proof is by induction on the length of the proof, breaking into cases depending what the last inference rule used is. For instance, suppose the last rule used is "from $\varphi$ and $\psi$ deduce $\varphi\wedge\psi$" (I'm writing somewhat informally). Then if this is the last rule used to derive $\varphi\wedge\psi$, by the induction hypothesis $\varphi$ is true in any model of $T$, and $\psi$ is true in any model of $T$. So $\varphi\wedge\psi$ is true in any model of $T$.
As a consequence of this theorem, any theory with a model is consistent. This is because if a theory is inconsistent, it proves "$\exists x(x\not=x)$" (for example), but this sentence is not true of any structure - in particular, it's not true of the structure assumed to be a model of the theory.
So in particular, if $\mathbb{R}$ satisfies the ordered field axioms, then the ordered field axioms are consistent.
