だが初等整数論において自然数についての基本的な結果を証明するとき、証明は任意の自然数は次の数を持つというリマーク（そしてこれはそれ自身において証明されるあるいは公理として取られるべきである、ペアノの公理参照）にかなり依るだろう。
在初等数论中证明自然数的基本结论时，证明也许会与“每个自然数都有一个后继”息息相关，但此点需加以证明，或者将其作为一个公理。