探したら出てきましたね
ペアノ算術以外の構成方法もあるんですね
わかりました

でもペアノ算術においては数学的帰納法を公理として付け加えるのが一般的です