Every non-empty subset of R that is bounded above has a least upper bound. This axiom basically says that there are no gaps in the real number line.