User:Dfeuer/Axiom of the Empty Set

Axiom
The empty class $\varnothing$ is a set.