寝ろと言ったのに深夜に興奮して連投かよｗ
つくづく馬鹿だなｗ

>>61,63
そもそもペアノ自身は１から始まるペアノ算術を考案してるんだよ。
０から始まるほうが加法の単位元も含めることができて、自然数が
モノイドになるから美しいというだけで、必須ではない。
１から始まるペアノ算術の加法に単位元０を加えて拡張してやれば
いいだけの話にすぎん。

自然数に０を含まなければ帰納法が成立したいのというのは、アホな
おまえの思い込みにすぎんのだよｗ