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

自然数の公理

おちんちんは自然数である。
ある自然数におちんちんをびろーんしたものも自然数である。