223 Completeness Axiom
ᐥEvery non-empty set of real numbers that is bounded above has a least upper bound. Every non-empty set of real numbers that is bounded below has a greatest lower bound.ᐥ ...
http://qindex.info/i.php?x=9746

-