First uncountable ordinal is regular
= 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$.