>>245
>グロタン宇宙Uの部分集合はUの元じゃ無い
性質 ∀x:(x⊂X⇒x∈X) を満たす集合Xが存在するならカントールの定理 |2^X|>|X| と矛盾する。
x⊂X⇔x∈2^X より、上記性質は 2^X⊂X を意味するから。