自然数、整数、有理数、実数 順に独立した公理(概念)が次々に追加されて定義されている。
実数は連続(極限)の公理が追加されてるから有理数に還元できない。