# First uncountable ordinal number

Why is $\Omega$ the first uncountable ordinal number and not $\omega^\omega$? Isnt the latter a countably infinite product of countably infinite sets and hence uncountable?

• and isn't a countable product of countable sets countable? ;) – W_D Aug 26 '13 at 6:34
• I meant a countably inf product of countably inf sets. That is not countable, unlike the case of unions. For example, use some form of cantor diagonal argument – renrenthehamster Aug 26 '13 at 6:36

The ordinal exponentiation $\omega^\omega$ is a countable set. But is is not a countable product of countable sets. Instead it is the limit of $\omega^n$, all of which are countable.
As cardinal exponentiation $\omega^\omega=2^\omega$, and the question whether or not there is a smaller uncountable cardinal is known as the continuum hypothesis, and is unprovable from the usual axioms of set theory, that is from $\sf ZFC$.