流れからはずれるのですが、
正則性公理をはずすと、∃X∀x[x∈X] を公理に加えても矛盾しなくなり
ますが、これでなにかおもしろいことは起きるのでしょうか？
正則性公理をはずした時点で超集合論ができることは知っていますが。