>>125
> >>123
> 1と2が自然数とはどういうことですか？
> 1+1とはどういうことですか？

0と後者写像'を無定義に導入する。

・0∈Ｎ
・a∈Ｎ → a'∈Ｎ
・a'=0 → ¬(a∈Ｎ)
・a,b∈Ｎ,a≠b → a'≠b'
・数学的帰納法の原理

以上を満たす集合Ｎを自然数と呼ぶ。

a+0=a
a+b'=(a+b)'

を加法(+)の定義とする。

以上を仮定すると、1+1=2は定理として証明できる。