第８節 ペアノの公理とＺＦの公理の違い

[suna_zu]

ペアノの公理Ⅴはなんかへん。0→1と3→1はアリになる。0→1→2→3→1→2→と循環する場合がある。aとbがちがうならa+1とb+1もちがう。っていう規則のほうがいいと思う。