 The use of recursive definitions is justified by a theorem proving that they describe a unique function. The induction axiom is justified by showing that any class that contains 0, and for any number n contains \(s(n)\) will contain all of the numbers in \(\omega\). The existence of \(\omega\) is guaranteed by the ZF axiom of infinity.