Empty Set Axiom

$\exists x\forall y(y\notin x)$

• There exists a set with no elements: $\varnothing$.