Definition:Minimally Inductive Set

Equivalence of Definitions
As shown in Equivalence of Definitions of Minimal Infinite Successor Set, the definitions above are equivalent.

Also see

 * Definition:Von Neumann Construction of Natural Numbers


 * Existence of Minimal Infinite Successor Set, demonstrating from ZF that $\omega$ exists.