>>324
せめてペアノの公理ぐらい真面目に引っ張って来ようよ…
ちなみに
>1に1を足して2という演算を考える。式で表せば1+1=2。
ここが定義するにあたって意味不明で間違い。
適当に調べたであろう後者関数と自然数の加算の定義が錯綜してる。

これにて査読終了