>>67
０は加法の単位元として追加すればいいだけで、自然数の定義に
含まれていなくても問題ない。ペアノ算術は１以上の数だけで
成立しているし、数学的帰納法で証明すべき式にに０が登場しようが
無理数が登場しようが問題ないだろ？
これでもわかんないのなら、おまえの頭にはウジが湧いてるかもなｗ

>>68
ペアノのオリジナルな公理系では、１から始めたことが書いてあるし、
注釈1にも１から始める流儀もあると書かれている。