Minimally Inductive Set is Ordinal

Theorem
Let $\omega$ denote the minimally inductive set.

Then $\omega$ is an ordinal.