# How to prove $\gamma < \omega_1$?

Let $\gamma=\sup\{\xi_n\}=\{\xi_n<\omega_1: n\in \omega\}$. How to prove $\gamma < \omega_1$?

Since $\gamma=\bigcup_{n\in\omega}\xi_n$, it’s the union of countably many countable sets and is therefore countable; thus, it must be less than $\omega_1$.
@Brain, I might be wrong, but I think $\gamma$ is a number... –  Easy Apr 17 '13 at 2:46
@Easy: $\gamma$ is an ordinal number, which means that it is the set of smaller ordinals. –  Brian M. Scott Apr 17 '13 at 2:47
It does not matter that everything is well-ordered. One still has to choose bijections $\xi_n \to \Bbb N$ for each $n$. Both Wikipedia and T.Jech (in Set Theory) agree that some choice principle is necessary to show $\aleph_1$ is regular. –  Lord_Farin Apr 17 '13 at 10:28