并不是唯一的，尽管有标准的一种方式。
透过整数集（欧多克索斯实数）.一个较不为人知的构造方法只需用到整数的加法群。 这种方法已由IsarMathLib project正式验证了。 Shenitzer和Arthan将此构造称为欧多克索斯实数。设formula_168为一函数，若然formula_169是有限集，则称"f"为殆同态。称两个殆同态formula_170 是 几乎相等的，如果集合formula_171是有限集。如此便在殆同态上定义了一等价关系。实数被定义为各个等价类，可