Principle of Recursive Definition/Proof 2

Proof
Consider $\N$ defined as elements of the minimal infinite successor set $\omega$.

The result follows from Principle of Recursive Definition for Minimal Infinite Successor Set.