１＋１＝２である事を証明してみろ！

>>119 が解りやすかったYo-
でも、>>122 の

＞結局1+1=3であると同時に1+1=2というオチだった。

がよーわからん。

十の定義（帰納的定義）を
　�@ x十0＝x
　�A x十y が定義されている時、
「x十(yの次の序数)」=「(x十y)の次の次の序数」と定義する。

とすれば、

　　x十y = x+2*y

なる（交換律も結合律もみたさない）２項演算「十」が導入できて、
1十1= 3 となることまではわかったんだが…
（亀ﾚｽ ｽﾏｿ）