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