The proof that the real numbers contains the square root of 3 relied upon.
- just the field of axioms of the reals
- just the order axioms of the reals
- the field axioms,order axioms and the least upper bounds property of the reals
- just the least upper bound property of the reals