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