より公理的な実数の特徴付けとして、極大順序体としてRを特徴づける方法がある.
R