18/07/09 13:38:32.68 7iwDxU/z.net
蒸し返しになっちゃって荒らしを呼んじゃうかもしれないけど、
WikiPedia によると、現在知られている「ペアノの公理」は、
集合論との絡みで、「自然数」に 0 を含めることが多いようです。
ただし、ペアノ自身による記述によれば、「1 は自然数である」から
始まっているそうなので、0 は含まれていないようです。
とはいえ、全単射をもつ集合は、みんな同型ですから、
べつに 0 を含めても不都合があるわけではありません。
「そっちのほうが扱いやすい場合がある」というのは、もちろん
ありますし。ソフトウェアの世界でいう、「いけにえ」みたいな
ものだと思います。