19/09/12 06:40:23.25 0bjYSisu.net
>>55
＞一番内側がｕ、中間がｘ、一番外がｙ
＞それをベン図で解釈すれば、
＞u ⊂ x ⊂ ｙ
だろ？ベン図で描けるのはあくまで
u ⊂ x ⊂ ｙ
であって
u ∈ x ∈ ｙ
じゃないだろ？
＞ベン図の包含関係から
＞u1,u2,・・・,un ∈ｘであり
＞u1,u2,・・・,un ∈ｙである
＞これ即ち、∈－順序の推移性そのものでしょ
いやｗ
u1,u2,・・・,unを点として
（あくまで点であって「1点の集合」ではないことに注意！）
ｘ、ｙをベン図の○で書かれた場合
ｘ⊂ｙ
だというだけで、ｘは点じゃないから
ｘ∈ｙ
ではないわな
そもそも一般の集合では∈が推移的でないんだから意味ない
順序数というのは∈が推移的なだけでなく整列順序になってる
という特殊な集合なんだよ
ニワトリにはそのことが全然分かってないｗ