>>545
つづき
この定義に従った有限集合も通常の意味で相互に関係していることを示すことができます。
言い換えれば、提案された定義に従ってセットが有限であるためには、その要素の数を自然数で表現できることが必要かつ十分です(自然数の概念は既知であると想定されています)。
?実際、Mを要素の数を自然数で表現できるセットとします。 Zを条件1-3を満たす任意のクラスとします。
MのすべてのサブセットがZに属することを示します。
これは-条件2で-単一の要素で構成されるサブセットです。同時に、これがn個の要素を含むサブセットである場合、n + 1を含むものの3つによると同じです。
Mの各サブセットの要素の数は自然数で表されるため、ZにはMのすべてのサブセットが含まれることが帰納法に従います。
したがって、クラスZは必然的にMのすべてのサブセットのクラスと同一であるため、条件1?3を満たす唯一のクラスです。
したがって、要素の数が自然数で表現できるセットは、私たちの意味では有限のセットです。
一方、集合の要素数がMを与える場合、それ自体を自然数で表現しないと仮定します。
Zを、要素の数を自然数で表現できるMのすべてのサブセットのクラスとします。
このクラスは明らかに条件1?3を満たします。同時に、仮説によれば、MはZに属しておらず、その結果、ZはMのすべてのサブセットのクラスと同一ではありません。したがって、Mのすべてのサブセットのクラスは条件1?3を満たす唯一のクラスではなく、Mは私たちの意味では有限ではありません。 Q。 F。 D。
(引用終り)
以上
探検
現代数学の系譜 カントル 超限集合論
■ このスレッドは過去ログ倉庫に格納されています
546現代数学の系譜 雑談 ◆e.a0E5TtKE
2019/11/30(土) 21:02:27.12ID:4Ujjq2jv■ このスレッドは過去ログ倉庫に格納されています
ニュース
- トランプ大統領「耐え抜け」 関税発動でアメリカ国民に檄「これは経済革命、われわれは勝利する」 [Hitzeschleier★]
- 【静岡】シカ、焼き肉店のガラス戸を突き破り店内に侵入 沼津市が捕獲 ケガ人なし [シャチ★]
- 「トランプは退陣を」 米各地で抗議デモ、最大規模 ★5 [蚤の市★]
- 【芸能】上沼恵美子、中居正広氏に激怒「クズやな!」「女をモノ扱いにして」「最悪やわ」 [Ailuropoda melanoleuca★]
- 上沼恵美子 中居氏・フジ問題でファンに釘刺す「誘われて行った女性も悪い、とか言わんといてね!」 [ひかり★]
- 【長野】16歳の無職少女が赤ちゃんの遺体を自宅に放置か…死体遺棄の疑いで逮捕 3月上旬に出産か…父親はわからず 上田市 [ぐれ★]
- 𝒉𝒐𝒖𝒔𝒆🏡
- 【関税発動】トランプ大統領、アメリカ国民に檄、「耐え抜け」 [419054184]
- 【実況】博衣こよりのえちえちクロノトリガー🧪 ★5
- 【実況】博衣こよりのえちえちクロノトリガー🧪 ★4
- コンクリートの上に小さい赤いツブツブいるじゃん。良く見ると動いてるやつ [758852233]
- 【先着っ!】Ave Mujicaで一つ屋根の下で愛し合いたい女の子っ!!!!!!!!!!!!!!!!!!!