これを使うやで〜〜〜。ID:HDy主さて集合Rを{x:¬(x∈x)}で定めるやで〜〜〜〜〜。ID:HDy主さて、そうして次にR∈Rを仮定するやで。これはどうかな〜〜どうなるかな〜〜〜〜織莉子ちゃん教えてや〜〜〜〜〜。悩んでいると、まぁRの定義の¬(x∈x)が効いてくるわけやな。せやからこれは¬(R∈R)が導かれるやで〜〜〜。ID:HDy主とまあ、仮定がミスってたわけやから、これは結局¬(R∈R)になるわけや。ここで仮定落ちるから気ぃつけてや〜。ID:HDy主xがxじゃないものxの集合Rっていうのは解釈ミスってるかもしれんなぁ。この論理式がいいたいことは単純や。x∈xはわかるな?「xは自分自身を要素として含む集合」や。ID:HDy主これを¬で否定してやるんや。すると¬(x∈x)になるな。これはつまり「xは自分自身を要素に含まない集合」となるんや。Rは「自分自身を要素に含まない集合全体の集合」となるわけや。ID:HDy主R∈Rを仮定したら¬(R∈R)が導かれた。これは仮定が誤っていたことの証左や。......って生まれたのが、公理的集合論や。公理的集合論が生まれるまえの集合論は、素朴集合論って呼ばれるんや。ワオ眠くなってきたから、また今度ここに書き込みに来るな〜。