ペアノの公理

[実習 1]
nat.txt を読み込んで、個々の振舞いを確認
[実習 2]
課題の作成