# Set Theory/Zermelo‒Fraenkel set theory

1. Axiom of extensionality: ${\displaystyle \forall x,y:x=y\Leftrightarrow (z\in x\Leftrightarrow z\in y)}$
2. Empty set: ${\displaystyle \exists \emptyset :\forall x:x\notin \emptyset }$