Past exam of the logic and set theory course of the University of Oxford / 2007 / B / 5 / i

The axiom of infinity asserts that an inductive set exists: some set $I$ contains $0=\varnothing$ and contains $x^{+}=x\cup \{x\}$ whenever it contains $x$. Inside one such $I$, axiom of separation definesThis intersection is itself inductive and is contained in every inductive set, by intersecting that set with $I$. It is therefore the set of natural numbers. If a property holds at $0$ and passes from $n$ to $n^{+}$, axiom of separation forms the subset of $\omega$ on which it holds. That subset is inductive, so must equal $\omega$. This proves mathematical induction, including properties with set parameters.

Recursion on $\omega$ defines the arithmetic operations byExistence and uniqueness follow from the recursion theorem on the natural numbers.

For associativity of addition fix $m,n$ and induct on $k$. At $k=0$ both sides equal $m+n$. If the equality holds at $k$, thenThusEvery step after the induction hypothesis is a defining successor equation, so commutativity has not been used prematurely.