数学的帰納法

自然数とはどんなものかは直感的に理解できると思いますが、 定義はどんなものかを考えると難しいと思います。 ここでは、有名なペアノの公理を用いて自然数を定義・構成しようと思います。 自然数を定義できると、整数→有理数→実数→複素数→...などのように「数」を広げていくことが出来ます。