空集合の公理
「ある集合 x が存在して、任意の y に対し、y は x の要素でない。」 すなわち、
∃ x ∀ y ¬ ( y ∈ x ) {\displaystyle \exists x\,\forall y\,\lnot (y\in x)}