19/09/11 19:22:12.71 h4/yIPnA.net
>>34
>なお、”x ∈ y → x ⊂ y ”を認めないと、
>素朴集合論のベン図に反例が出る
>つまり、x ∈ yであるにも関わらず、
>xのある元 u ∈ x で、u not∈ y となると、
>素朴集合論のベン図が描けない
ベン図ｗｗｗｗｗｗｗ
ベン図って基本的に集合の包含関係しか描けないだろ
ベン図で表せるもの
要素＝点、集合＝点の集まりを表す○
つまり
「u ∈ x かつ x ∈ y」なんてのは
そもそもベン図で描けるようなもんではない
ｘを○で表して、ｙをさらにその外の○で描いた場合
「ｘ⊂ｙ」と区別がつかないだろ
ニワトリってホント軽率な馬鹿だなｗ
ついでにいっとくと、一般の集合Sは∈に関して推移的でない
つまり u ∈ x かつ x ∈ S だからといって
u ∈ Sとはならないｗ
Sの最も簡単な例が{{{}}}
{}∈{{}} {{}}∈{{{}}}だが、{}∈{{{}}}でないｗ
ああ おもしれえｗ