前に連鎖という概念から自然数を定義しました。 mirukatea.hatenablog.com ただ、こういうのに詳しい方はこう思ったのではないでしょうか？ ”自然数はペアノの公理で定義するのでは？”と。 実は私もペアノの公理のほうが先に知ったので、 このような違和感を…