- 126 名前：１３２人目の素数さん mailto:sage [2015/05/05(火) 12:56:49.42 ID:xvPNo3PU.net]
- >>124
> >>122
> 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は定理として証明できる。
|
 |
