First uncountable ordinal is regular

The first uncountable ordinal has cofinality ${\omega }_1$. Indeed, the supremum of any countable set of countable ordinals is still a countable ordinal, so no countable sequence is cofinal in ${\omega }_1$.