First uncountable ordinal (source code)

= First uncountable ordinal
{wiki}

The first uncountable ordinal $\omega_1$ is the set of all countable ordinals.