>>425
アルキメデスの原理を満たさない順序体もありますよね
コーシー列の収束と順序の公理を満たすだけで実数の公理と同値になりますか?