>>394
ZFC|-￢∃x∀y(y∈x)
である。
証明は背理法。∃x∀y(y∈x)を仮定すると、x∈xを得る。
正則性公理から、矛盾を得る。