自然数が０以上か１以上かの話題は専用のスレがあるので、本論と関係ないならばここでの議論は避けるべきと思います。必ず荒れる元となる話題でもありますし。

基本的に、ペアノの公理を論じるのであれば、自然数の初元がいくつであるかは本質的な意味を持たない。
また、０にゼロ元としての意味を持たせる意図があって「０以上の整数」「１以上の整数」を表現する場合は、自然数の語を用いるべきではなく、「非負整数」「正整数」の語を用いるのが潔い。