一応公理の内容は覚えた
なんか証明した方がいい定理とかある?
なければ自然数から作ろうと思う