自然数
https://people.math.ethz.ch/~salamon/PREPRINTS/acampo-real.pdf
自然数で実数を構築する話