ZF Set Theory Axiom of Infinity Could someone please state and explain the axiom of infinity in ZF set theory?  This isn't homework, it's just something that has interested me for awhile.

The axiom of infinity says that there exists a set $A$ such that $\varnothing\in A$, that is the empty set is an element of $A$, and for every $x\in A$ the set $x\cup\{x\}$ is also an element of $A$.
The definable function $f(x)=x\cup\{x\}$ is an injection from $A$ into itself, and since $f(x)\neq\varnothing$ for every $x$, it follows that $f$ is not surjective. Therefore $A$ must be infinite.
Do note that $\{\varnothing\}$ is not the empty set, and so $\varnothing\cup\{\varnothing\}=\{\varnothing\}\neq\varnothing$.
