Axiom of Infinity

$\exists x(\varnothing \in x\wedge \forall y\in x(y\cup \{y\}\in x))$

• There exists an inductive set (natural numbers).