「1 + 1 = 2 の証明」について

次は、いよいよ「1 ＋ 1 = 2 の証明」ですが、自然数及び加法の定義が明確であれば、この証明自体は非常にシンプルです。加法は (i) および (ii) の性質を持つと規定されているため、これらの性質を用いて 1 ＋ 1 を計算し、結果が2であればそれで問題ありません。