就唯一确定了 formula_113。所以直观上，实数formula_89能被formula_115所代表。具体而言，一个实数formula_89是formula_117 的符合以下条件的一个子集：以下示范如何以戴德金分割代表根号2：设formula_157。首先，对于任何自乘小于2的正有理数 formula_158，都存在一个大于x的有理数formula_159 ，而且有formula_160 。选择formula_161 便可。所以我们证明了formula_39 是一个实数