[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
11(1): １３２人目の素数さん [] 2019/09/10(火) 00:24:12.40 ID:588mTDvG(3/5) AAS
恥を晒すだけという指摘はまったく正しい
↓
詳しくは、>>832の「ZFC公理系について：その1（及び2）」を読んでみな
簡単に書くと
１）二つの集合A,Bで、A ∈ B → A ⊂ B
∵ 集合Aの全ての元aは、集合Bの元だから
２）二つの集合A,Bで、A ⊂ B → A ∈ B
∵ 集合B中で、集合Aの全ての元aを集めて、内部に集合Aを構成できるから
３）”A ∈ B → A ⊂ B” ＆ ”A ⊂ B → A ∈ B”が成立つから、二つは同値
QED
153(3): １３２人目の素数さん [sage] 2019/09/14(土) 16:01:13.98 ID:VYIPOabR(14/30) AAS
>>150-152
ニワトリ 破滅への道 ?
>> ニワトリの発言
＞ 他者の発言
１．現スレで、前スレ845の自爆発言を蒸し返されるｗ >>10-11
２．さらに、別の人に１）２）を再度否定されるｗｗ >>21
３．ニワトリ、２）については前スレ865で撤回したというも
１）については言い張り続ける再自爆発言ｗｗｗ >>30
>>うん、それね、おれ間違っているね（＾＾；
>>まず、上記２）は、正則性公理から反例 ｘ not∈ x
>>（x ⊂ xであるにも関わらす）が出るから間違い
>>（それ以外にも、反例はあるな。後述）
>>では、上記１）は、どうだろうか？
>>公理的集合論
>>「x ∈ y の直観的な意味は，もちろん元x が集合y に属することであるが，
>> x も一つの集合だと考える．」
>> ”元x も一つの集合だと考える”とすると、x ∈ y → x ⊂ y だろうと
>> しかし、ZFC公理系から導けると思って、トライしたが、残念ながらできなかった（＾＾；
>>（そういう文典も探したが、見つけられなかった）
>> しかし、我々の通常接する素朴集合論に近い議論では、
>> ”x ∈ y → x ⊂ y ”を認めた方が良いという結論に至った
４．すかさずトンチンカン発言をつっこまれるｗ >>46
>>∈−順序が成立つ場合は、”x ∈ y → x ⊂ y ”成立
＞「∈ がその上で整列順序になる集合」って順序数だろ
＞いつどこで誰が「一般の集合が順序数になる」と証明したんだ？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s