**Axiom** There is an *empty [[Set|set]]* denoted $\emptyset$.