[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

34(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/09/11(水) 07:53:09.60 ID:IlUCyPH9(6/9) AAS
>>32
＞x ∈ y → x ⊂ y　の初等的反例を示してるぞ

（>>31より）
８）なお、”x ∈ y → x ⊂ y ”を認めないと、素朴集合論のベン図に反例が出る
　つまり、x ∈ yであるにも関わらず、xのある元 u ∈ x で、u not∈ y となると、素朴集合論のベン図が描けないｗ（＾＾；
(引用終り)
（＾＾；

---

47: １３２人目の素数さん [sage] 2019/09/11(水) 19:22:12.71 ID:h4/yIPnA(7/12) AAS
>>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の最も簡単な例が{{{}}}

{}∈{{}}　{{}}∈{{{}}}だが、{}∈{{{}}}でないｗ

ああ　おもしれえｗ

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.051s