Definition:Minimally Inductive Set/Definition 2

Definition
The minimal infinite successor set $\omega$ is defined as the set of all finite ordinals:


 * $\omega := \left\{{\alpha : \text{$\alpha$ is a finite ordinal}}\right\}$

Also see

 * Definition:Natural Numbers as Elements of Minimal Infinite Successor Set