>>1
0の発見という言い方がある。
色々な数が考えられ使われ出した後から0は考えられたのだ。
人間が自然発生的に使い出した、
物を数えるための記号を自然数と定義するならば、
0は明らかに自然数ではない。
その後の数学の形式化の中で、自然数を公理化するときに、
都合がいいので0を自然数にしたのだ。
このとき自然数の定義は自然発生的な物から、公理による物に変わった。
従って結論は、0は、
1)人類史の上では自然数ではない。
2)形式化された現代数学では自然数である。
3)高校や大学教養レベルあるいは工学系の応用数学までは、
形式化された現代数学ではないので自然数ではない。