1+1=2はどこから来たの？謎の演算を考える

「なんで1+1=2なの？」とか「1+1=2の証明は難しいらしい」みたいなやつはよく言われることで、数学と縁遠い人でも一度は聞いたことがある/疑問に思ったことがあるかもしれません。 今回はそんな疑問に直接答える話、というわけではありませんが、「1+1=2」というそれそのものについて興味深い示唆を与える話を紹介しましょう。 謎の演算「◯」 自然数に対して定義される、なんだかわからない謎の演算「◯」を新たに考えてみます。記号は適当であり、何でもいいです。 つまり、「1+1」や