>>66
>普通（ＺＦＣ内で）はベン図で議論してよいってことだな

これはヒドイｗ

>>68
>非整礎集合の集合論を考えていたのか

これもヒドイｗ

{{{}}}(順序数どころか推移的集合でもない)
のどこが非整礎集合かよｗｗｗｗｗｗｗ

「整礎集合」＝「推移的集合」 と思ってる時点でアホ

定義の日本語の文章も読めないらしい

「集合 x が整礎的集合 (well-founded set) であることは、
　∈ が x の推移閉包上で整礎関係となること」

「ｘ上で」ではなく「ｘの推移閉包上で」に注意

{{{}}}の推移閉包は{{},{{}}}

要するに一般のｘ上で∈ は推移的でないから
ｘを含む最小の推移的集合（これが推移閉包）
を考える必要がある

そもそもベン図で描けるかどうかと
∈が推移的かどうかは全然無関係

ベン図は要素（対象）と集合（性質）を明確に分けてしまう点で、
集合論を扱うツールとしては限定的な役割しかない