Using the definition, a metric space is complete if every Cauchy sequence converges in the metric space.
The Completeness Axiom states that every nonempty set of reals that is bounded above has a supremum.
How are these two related? I'm having trouble seeing why one might imply the other, or if they are equivalent.
Wikipedia discusses several forms of completeness for the real numbers, ending with: