Suponha que não. Escreva $A = \{a_n: n \in \omega\}$. Considere $B_n = \{\xi \in \omega_1: \xi < a_n\}$. Mostre que $\omega_1 = \bigcup_{n \in \omega} B_n$.