Principle of Recursive Definition/Proof 2

Proof
Consider $\N$ defined as the von Neumann construction of the natural numbers.

The result follows from Principle of Recursive Definition for Minimally Inductive Set.