Definition:Minimally Inductive Set

Also see

 * Equivalence of Definitions of Minimally Inductive Set


 * Definition:Von Neumann Construction of Natural Numbers


 * Minimally Inductive Set Exists, demonstrating from Zermelo-Fraenkel set theory (ZF) that $\omega$ exists.