Category:Axioms/Axiom of the Empty Set