English Dictionary

The completeness axiom guarantees that every nonempty set of real numbers that is bounded above has a least upper bound in the real numbers.

完備性公理は、有界上側を持つ任意の非空の実数集合に対して、その最小上界（上限）が実数の中に存在することを保証する。