- 169 名前:132人目の素数さん mailto:sage [2019/09/14(土) 16:22:56.72 ID:VYIPOabR.net]
- >>154
ニワトリ 破滅への道 U >> ニワトリの発言 > 他者の発言 5. ニワトリ、完全に集合=順序数、と誤解するトンデモぶりw >>81 >>・∈−順序は、公理的集合論ZFCの目玉の重要キーワードでしょ? >> これで、帰納法及び超限帰納法が可能になるんだ >>・フォン・ノイマン宇宙(>>67)も、重要キーワードでしょ? >> フォン・ノイマン宇宙では、∈−順序が成り立ち、∈が推移律を保つ >>・推移律:x∈y∈z で、ここでxはyの任意の元として、 >> xに対し∀x∈zが成立→即y⊂z成立 かつ x⊂z成立 6. トンデモ発言をいちいち否定される >>84 >フォン・ノイマン宇宙自体は推移的であっても >フォン・ノイマン宇宙の全ての集合が推移的なわけではない >もしフォン・ノイマン宇宙の全ての集合が推移的なら >フォン・ノイマン宇宙は順序数の全体ということになるが >そんな馬鹿なことはもちろんないw >例えば{{{}}}は明らかに集合であることが証明できるが >これは推移的ではないw >{}∈{{}} {{}}∈{{{}}} しかし ¬({}∈{{{}}})
|

|