公理，也就是说formula_49是一个有序域（同时formula_49还满足阿基米德性，所以formula_49是一个阿基米德有序域），但formula_49 不符合最后一条公理。所以戴德金完备性这一点在实数的定义中是不可或缺的。戴德金完备性蕴含了阿基米德性质。若有两个模型符合公理1-4的话，它们必然是同构的，所以在同构意义下只有一个戴德金完备的阿基米德有序域。附注：当我们说符合以上公理的两个模型： formula_54 和 formula_55是同构时，即是指存在一个保持运算和序的双射。确切地说存