[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
70(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)16:20 ID:JrhjRl4x(29/46) AAS
>>65
>順序数の順序の列と∈列は異なります
ノイマン構成では、順序数の順序の列と∈列は一致するのでは？（＾＾
下記より
”集合 x について以下はZFで同値である。
・x は順序数である。
・x は推移的集合であり帰属関係 ∈ に関する整列集合である。 (ジョン・フォン・ノイマンの定義)[3][4]”
省21
74(1): 2019/10/05(土)16:25 ID:kZwmbLNI(33/44) AAS
>>70
＞ノイマン構成では、順序数の順序の列と∈列は一致するのでは？
ωについていえば、一致しません
ｎ∈ω （ｎは自然数）しかいえませんから
あなたの主張は整礎性の否定であり、超限帰納法の否定です
つまり集合論の根幹を全面的に否定する暴挙です
76: 2019/10/05(土)16:31 ID:kZwmbLNI(34/44) AAS
>>70
＞一方、ツェルメロ構成では、(順序数の順序の列と∈列は)一致しない。
すでに、>>74にてノイマン構成でも、ωで一致しないと述べたので
不一致が問題ということではありません
問題は
「無限公理のωでは、ｎ∈ωはいえるが
あなたのいうΩでは、ｎ∈Ωがいえない」
省7
83(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)18:24 ID:JrhjRl4x(37/46) AAS
>>14
(引用開始)
冪集合で P({a})={Φ,{a}}
つまり、 P({a})は{a}という一元集合の冪集合です
ここで、{Φ,{a}}から、{{a}}という集合を作ることができるということを認めることにしましょう
（注：{Φ,{a}}から、元Φを取り除くだけですけど（多分、分出公理を使う）
あるいは、 P({Φ,{a}})={Φ,{Φ},{{a}},{Φ,{a}}}としても、{{a}}は作ることができる ）
省22
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s