大学数学では便宜上0を自然数とすることもあるそうですが、ペアノの公理においては0は自然数ではなかったような気がします。