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:Natural Numbers as Elements of Minimal Infinite Successor Set


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