ペアノの公理は、どんな自然数のつぎにもこない自然数が一個存在する
とは言っているが、それが１だとは言っていない。