大型書店の数学書を一通り調べても見つからなかったのですが、
集合が自分自身の他に空集合でない極小元ｘを含む場合も
正則性公理か何かに反することが証明できるんですか？

A{A, x｜x≠Φ, ｘ¬∈ｘ｝