Free, open-source online mathematics for students, teachers and workers

Axiom of Empty Set (AEm)

$$\exists x\forall y \neg(y\in x)$$