1+1を計算すると2になる事を証明せよ
16 ：１３２人目の素数さん：
自然数を以下のように定義する
1. 空集合φは0である。
2. 任意の集合aの次（後者）関数をSuc として、Suc(a)をaと{a}の和集合とする Suc(a) = a ∪ {a}
3. 0を含んで、Sucについて閉じている集合をMとする。
4. 自然数Nを「0を含むMの部分集合の共通部分である」とする
加法+の定義
すべての自然数aに関して a + 0 = a
すべての自然数a b に関して a + Suc(b) = Suc(a+b)
以上より、
1+1 = {} + {{}} = { {}, {{}} } = 2
1. 空集合φは0である。
2. 任意の集合aの次（後者）関数をSuc として、Suc(a)をaと{a}の和集合とする Suc(a) = a ∪ {a}
3. 0を含んで、Sucについて閉じている集合をMとする。
4. 自然数Nを「0を含むMの部分集合の共通部分である」とする
加法+の定義
すべての自然数aに関して a + 0 = a
すべての自然数a b に関して a + Suc(b) = Suc(a+b)
以上より、
1+1 = {} + {{}} = { {}, {{}} } = 2
|
|
|