Аксиома пустого множества

Аксиома пустого множества (англ. axiom of empty set, нем. Axiom der leere Menge) — следующее высказывание теории множеств:

существует пустое множество: $$ \Upsilon \ \stackrel{\mathrm{def}}{=} \ \exists a \quad a = \varnothing $$