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 Zermelo-Fraenkel set theory (ZF) that $\omega$ exists.