>>795
>・”x∞={x∞}”の証明がない
x∞に一番外側の"{"と"}"が無いならそもそも集合ではありません。
x∞に一番外側の"{"と"}"が有るならそれらを外したものはx∞自身ですから正則性公理に反します。
これ以外のケース（例えば、有り且つ無い）はありませんから、結局x∞は集合の要件を満たしません。

>・x∞の極小元は、明らかに空集合Φ＝{}です。よって、正則性公理に反しないQED
いいえ、{}はx∞の元ではありません。

>・つーか、これ違う
>　∵多分x∞の定義が違うだろうし、順序数と基数の∞との混同でしょう
定義は議論の出発点です。定義が違うと言われても意味不明です。
違う定義の議論をしたいならまずその定義を示して下さい。