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