0349132人目の素数さん垢版 | 大砲2014/05/21(水) 11:12:37.03 なるほど。 ∃X∀x[x∈X]で存在保証されたXをAとおいて、 B={x∈A|not(x∈x)}を考えれば不合理に陥りますね。 空集合の反対があってもよいのにと思ったのですが、 うまくいかないものですね。なぜでしょうか?w