Set of Natural Numbers can be Derived using Axiom of Abstraction

Theorem
Let $\N$ denote the set of natural numbers.

By application of the, $\N$ can be derived as a valid object in Frege set theory.