19/09/12 19:30:21.01 0bjYSisu.net
>>66
>普通（ＺＦＣ内で）はベン図で議論してよいってことだな
これはヒドイｗ
>>68
>非整礎集合の集合論を考えていたのか
これもヒドイｗ
{{{}}}(順序数どころか推移的集合でもない)
のどこが非整礎集合かよｗｗｗｗｗｗｗ
「整礎集合」＝「推移的集合」 と思ってる時点でアホ
定義の日本語の文章も読めないらしい
「集合 x が整礎的集合 (well-founded set) であることは、
∈ が x の推移閉包上で整礎関係となること」
「ｘ上で」ではなく「ｘの推移閉包上で」に注意
{{{}}}の推移閉包は{{},{{}}}
要するに一般のｘ上で∈ は推移的でないから
ｘを含む最小の推移的集合（これが推移閉包）
を考える必要がある
そもそもベン図で描けるかどうかと
∈が推移的かどうかは全然無関係
ベン図は要素（対象）と集合（性質）を明確に分けてしまう点で、
集合論を扱うツールとしては限定的な役割しかない