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