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