…}的最小上界。然后我们就可以证明，这种定义（或区间套的定义）与划分的过程是一致的，再一次证明了0.999… = 1。汤姆·阿波斯托尔得出结论：
从建构实数着手.有些方法用公理集合论明确把实数定义为一定的建立在有理数上的结构。自然数──0、1、2、3，依此类推──从零开始并继续增加，这样每一个自然数都有一个后继者。我们可以把自然数的概念延伸到负数，得出所有的整数，并可以进一步延伸到比例，得出所有的有理数。这些数系伴随着加法、减法、乘法和除法的算术。更加微妙地，它们还包括排序，这样一