19/09/14 16:22:56.72 VYIPOabR.net
>>154
ニワトリ 破滅への道 Ⅱ
>> ニワトリの発言
＞ 他者の発言
５． ニワトリ、完全に集合＝順序数、と誤解するトンデモぶりｗ >>81
>>・∈－順序は、公理的集合論ＺＦＣの目玉の重要キーワードでしょ？
>> これで、帰納法及び超限帰納法が可能になるんだ
>>・フォン・ノイマン宇宙（>>67）も、重要キーワードでしょ？
>> フォン・ノイマン宇宙では、∈－順序が成り立ち、∈が推移律を保つ
>>・推移律：x∈y∈z で、ここでｘはｙの任意の元として、
>> ｘに対し∀x∈zが成立→即y⊂z成立 かつ x⊂z成立
６． トンデモ発言をいちいち否定される >>84
＞フォン・ノイマン宇宙自体は推移的であっても
＞フォン・ノイマン宇宙の全ての集合が推移的なわけではない
＞もしフォン・ノイマン宇宙の全ての集合が推移的なら
＞フォン・ノイマン宇宙は順序数の全体ということになるが
＞そんな馬鹿なことはもちろんないｗ
＞例えば{{{}}}は明らかに集合であることが証明できるが
＞これは推移的ではないｗ
＞{}∈{{}} {{}}∈{{{}}} しかし ￢({}∈{{{}}})