Editing Axiom of empty set (section)

== Formal statement ==
In the [[formal language]] of the Zermelo–Fraenkel axioms, the axiom reads:
:<math>\exists A\, \forall x\,  (x \notin A)</math>.<ref name=":0" /><ref name=":1" /><ref name=":3">{{Cite web |title=AxiomaticSetTheory |url=https://www.cs.yale.edu/homes/aspnes/pinewiki/AxiomaticSetTheory.html |access-date=2024-06-10 |website=www.cs.yale.edu}}</ref>
Or, alternatively, <math>\exists x\, \lnot \exists y\,  (y \in x)</math>.<ref>{{Cite web |title=Set Theory > Zermelo-Fraenkel Set Theory (ZF) (Stanford Encyclopedia of Philosophy) |url=https://plato.stanford.edu/entries/set-theory/ZF.html |access-date=2024-06-10 |website=plato.stanford.edu |language=en}}</ref>

In words:
:[[Existential quantification|There is]] a [[Set (mathematics)|set]] such that no element is a member of it.