>>55
＞一番内側がｕ、中間がｘ、一番外がｙ
＞それをベン図で解釈すれば、
＞u ⊂ x ⊂ ｙ

だろ？ベン図で描けるのはあくまで
u ⊂ x ⊂ ｙ
であって
u ∈ x ∈ ｙ
じゃないだろ？

＞ベン図の包含関係から
＞u1,u2,・・・,un ∈ｘであり
＞u1,u2,・・・,un ∈ｙである
＞これ即ち、∈−順序の推移性そのものでしょ

いやｗ
u1,u2,・・・,unを点として
（あくまで点であって「1点の集合」ではないことに注意！）
ｘ、ｙをベン図の○で書かれた場合
ｘ⊂ｙ
だというだけで、ｘは点じゃないから
ｘ∈ｙ
ではないわな

そもそも一般の集合では∈が推移的でないんだから意味ない
順序数というのは∈が推移的なだけでなく整列順序になってる
という特殊な集合なんだよ

ニワトリにはそのことが全然分かってないｗ