Peano axioms
ペアノの公理は以下の図にまとめることができる: