代数としては

自然数はペアノ算術
整数は最小の順序環
有理数は最小の順序体

実数は実閉体

かな