>>20
使える記号をちゃんと定義しないと駄目だよ。
+というのは和だろう
で、1・1 = 11みたいにただ並べるだけの演算を定義すると

11+11 = (1・1) + 11 から出てくるんだろう。
1+11に1・を作用させる方法として
(1・1) + 11 と 1+(1・11)とが考えられるが
1+で実現できるものは排除したい。
すると、少なくとも 1+1+〜のように 1+が2つ出てくるものは排除
1+111〜のように 1+が一つ出てくるものはこの1+に1・を作用
1+が一つも出てこないものは 全ての項に作用させる事をかんがえればよい。