Existence of Minimal Uncountable Well-Ordered Set

Theorem
There exists a minimal uncountable well-ordered set.

That is, there exists an uncountable well-ordered set $\Omega$ with the property that every initial segment in $\Omega$ is countable.

Also see

 * Minimal Uncountable Well-Ordered Set Unique up to Isomorphism