Another elementary example concerns the fact that the integers are unbounded in R. It surprises many people that the completeness axiom is needed to prove that, but one can show that that is the case by finding ordered fields that extend R (e.g. an appropriate ordering on rational functions does the job) where it fails.