∀X(∃x0(x0∈X) ⟹ ∃y(y∈X∧¬∃x(x∈y∧x∈X))) \forall X \left( \exists x_{0} ( x_{0} \in X ) \implies \exists y ( y \in X \land \lnot \exists x ( x \in y \land x \in X )) \right) ∀X(∃x0(x0∈X)⟹∃y(y∈X∧¬∃x(x∈y∧x∈X))) Every set X≠∅X \ne \emptysetX=∅ has an element that is mutually exclusive with itself.
