ペアノの公理-Peano's axioms

・１は自然数である

・全ての自然数ａは自然数の集合の中で後続する数ａ^+をもつ

・１を後続する数とする自然数はない

・もしａ^+=ｂ^+ならばａ=ｂ

・自然数１を含み、含まれる全ての自然数ａについて後続する数ａ^+をも含む自然数の集合は全ての自然数を含む