ペアノの公理
ペアノの公理は以下の様に定義される。