19/09/15 08:26:12.37 g2F0dADR.net
>>193
＞１）自然数の集合N、偶数の集合N2、奇数の集合Nodd
＞２）集合N’＝{N2,Nodd} (偶数の集合と奇数の集合とを入れた集合)
＞３）ｓ＝{2,4,6}という集合は、NとN’両方に含まれます（部分集合）
これまたヒドイｗ
ｓ⊂N s⊂N2 だが、s⊂N'ではない
＞５） {2}は、NとN’両方に含まれます（両方の部分集合）
これもヒドイｗ
{2}⊂N {2}⊂N2 だが、{2}⊂N'ではない
＞６）明らかに、2∈N
＞ しかし、2 not∈N’なのでしょうか？
＞ {2}⊂Nであるにも関わらず
ヒドすぎるｗｗｗ
{2}⊂N’でないので、2∈N’ではないですね（バッサリ）
＞７）素朴集合論では、些末なことなので、この程度のことはどうでも良い
＞ というか、適当で良い
いや、全然ダメだよｗ
＞ しかし、公理的集合論では、適当ではすまないのです
＞ 2 ∈N2 かつ N2 ∈N’で、∈の推移律により、2 ∈N’と考えるべき
いや、そもそも、公理的集合論に∈の推移律なんてないからｗ
∈が推移的なのは、推移的集合だけ
しかも遺伝的に推移的になるのは、順序数だけ
いいかげん、根本的な誤りに気づきなよ
＞酒井拓史 神戸大
＞「基礎公理により，すべての集合X に対して・・、∈は・・整礎的な二項関係」
〇〇の一つ覚えのように書いてるけど
「∈は・・整礎的な二項関係」は「∈は推移的」を導かないからｗ