デジタルトランスフォーメーション3

自然数の公理

１は自然数である。
ある自然数に１を加えたものも自然数である。