Simple example of uncountable ordinal

Can you make a simple example of an uncountable ordinal? With simple I mean that it is easy to prove that the ordinal is uncountable. I know that the set of all the countable ordinals is an uncountable ordinal, but the only proof that I know is quite complicated.


The proof that the set $\Omega$ of all countable ordinals is uncountable is not difficult. First, it's an ordinal. Next, if $\Omega$ were countable, then $\Omega + 1$ would also be a countable ordinal. Finally, it is impossible for $\Omega + 1$ to be in $\Omega$, because that would mean that $\Omega + 1 < \Omega$.


Here is another way of arguing which is slightly different: Consider the set $X={\mathcal P}({\mathbb N}\times{\mathbb N})$ of all subsets of ${\mathbb N}^2$. Given $E\subseteq {\mathbb N}\times{\mathbb N}$, let $A_E$ be the set of all numbers that appear in either the domain or range of $E$ (this is sometimes called the field of $E$). If it happens that $E$ is a well-ordering of $A_E$, let $\alpha_E$ be the unique ordinal that is order isomorphic to $(A_E,E)$. Otherwise, let $\alpha_E=0$. Then $\{\alpha_E\mid E\in X\}$ is a set (is the image of $X$ under the map $E\mapsto\alpha_E$) and it is obvious that it consists precisely of the countable ordinals. One easily sees then that it is itself an ordinal, and uncountable (since no ordinal belongs to itself). This is $\omega_1$.


The only two that I think have simple proofs are $\Omega$, as Carl says, and $2^{\aleph_0}$, the set of infinite binary sequences. Cantor's diagonal argument proves this one uncountable. Alternately, as all cardinals are ordinals, any cardinal greater than $\aleph_0$ is an uncountable ordinal just from the definition of countability. That's simple to write, but probably not what you are looking for.


The existence of an uncountable ordinal is established by the argument of the Burali-Forti "Paradox". See for instance Section 1.4 here. (Yes, this is the same argument as in Carl Mummert's answer.)

This is probably the simplest way to show the existence of an uncountable ordinal. As Section 1.2 of the notes linked to above shows, the usual operations of addition, multiplication and even exponentiation of ordinals do not produce uncountable ordinals from countable ones. That this is not the case for exponentiation is a big difference between ordinal and cardinal arithmetic.