User:Dfeuer/Axiom of the Empty Set

From ProofWiki
Jump to navigation Jump to search

Axiom

The empty class $\varnothing$ is a set.