現代数学の系譜 カントル 超限集合論他 3

243 ：１３２人目の素数さん：2020/11/03(火) 03:24:47.92 ID:EzLUFeKC.net

>決して{…{{{}}}…}ではありません
{}:=x1, {{}}:=x2, … とおく。
そもそもx∞は集合たりえない。
なぜなら、正則性公理の要件「自分自身と交わらない要素を持つ。」を満たさないから。
なぜなら、x∞={x∞}であって、x∞∩x∞=x∞≠{} だから。