Definition:Minimally Inductive Set

Also see

 * Equivalence of Definitions of Minimally Inductive Set


 * Definition:Von Neumann Construction of Natural Numbers


 * Existence of Minimal Infinite Successor Set, demonstrating from Zermelo-Fraenkel set theory (ZF) that $\omega$ exists.