[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
545(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/11/30(土)21:01 ID:4Ujjq2jv(10/17)調 AAS
>>544
つづき
私たちが知っているように、すべてのオブジェクトのセット（存在する場合）は逆説的な特性を享受します。サブアセンブリ。
すべてのセットで構成されるクラスと同じです
単一の要素を含む;したがって、Kクラスはチェックしません、カントールの定理。
?この事実を考慮して、クラスKの存在そのものに疑問を投げかけることができます。
その欠点を取り除くために、シェルピンスキー氏の定義を修正することで、次の定義が得られます。
すべてのサブセットのクラスが
（空ではない）が条件を満たす唯一のクラスです：
1.その要素は、Mのサブセット（空ではない）です。
2. Mの単一要素を含むセットは、このクラスに属します。
3. AとBがこのクラスに属する2つのセットである場合、それらのセット-sorn A + Bもそれに属します。
つづく
546(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/11/30(土)21:02 ID:4Ujjq2jv(11/17)調 AAS
>>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。
(引用終り)
以上
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s