Every Cauchy sequence in ℝ converges. Equivalently: every non-empty bounded set of reals has a supremum.