Does every ordinal have cardinality no greater than $\aleph_\mathbb{0}$? My notes say that the ordinals $\omega + 1, \omega + 2, ... , 2 \omega, ... , 3 \omega, ... \omega^2, ... $ are all countable, and hence have cardinality equal to $\omega = \aleph_\mathbb{0}$. So I was wondering if it's fair to say that every ordinal has cardinality no greater than $\aleph_\mathbb{0}$?
Alternatively, I guess it's possible that that the sequence of infinite ordinals listed above, does not include some of the ordinals with a cardinality greater than the naturals.. but I wasn't sure. 
 A: You are not correct, of course, there are ordinals of unbounded cardinalities. 
Note that it is sufficient to prove that there is a set of countable ordinals. If there is a set of countable ordinals, then Peter's hint completes the problem. To do that, note that you can find in $\mathcal P(\omega\times\omega)$ copies of every countable ordinal (as well-orderings of $\omega$). Conclude using replacement that countable ordinals make a set.
But there is another side to your question. Countable ordinals are closed under [definable] countable operations (and more if we assume the axiom of choice). This means that whenever we have a countable process (denoted in your post by $\ldots$) its limit is going to be countable as well. In order to get to $\omega_1$, the first uncountable ordinal we have to use a process which continues for uncountably many steps.
Therefore your suggestion that we increase by $1$, then increase by $\omega$, then multiply by $\omega$... all that is a description which is inherently countable, so you can't find a countable sequence whose limit is uncountable. In order to step up you need something stronger.
What two operations are stronger? Well, in $\sf ZFC$ there are two of them:


*

*Cardinal successor, which means that we go from the ordinal $\alpha$ to the least $\beta$ such that $\alpha<\beta$ - and there is no bijection between $\alpha$ and $\beta$. In the case of $\omega$ we end up at the first uncountable ordinal, known as $\omega_1$.

*Cardinal exponentiation, or its particular case - the power set operation. This assures us that we grow in cardinality, by Cantor's theorem. Assuming the axiom of choice, growing in cardinality means ordinals which are at least as large as the cardinal successor.
Note that I'm talking about $\alpha\mapsto\ ^\alpha\beta$ for some $\beta>1$, of course.

Also relevant:


*

*How do we know an $ \aleph_1 $ exists at all?

*Mechanical definition of ordinals
A: A hint to start you off. Take all the countable ordinals, ordered in size. Ask: are they well-ordered? if so, ask: What is the order-type of that sequence of objects? Is it an ordinal? Must it be bigger than any countable ordinal?
A: (In ZFC) by Cantor's theorem, $2^{\aleph_{0}}=\vert \mathcal{P}(\omega)\vert> \vert \omega\vert=\aleph_{0}$, so that $\vert P(\omega)\vert (\approx \mathbb{R})$ is an uncountable cardinal and therefore an uncountable (limit) ordinal (here $2^{\aleph_{0}}$ is cardinal exponentiation). The claim that $2^{\aleph_{0}}=\aleph_{1}$, i.e that the least cardinal strictly greater than $\aleph_{0}$ is $2^{\aleph_{0}}$, is known as Continuum Hypothesis.
A: The ordinal $\omega_1$ has cardinality $\aleph_1$ which is greater than $\aleph_0$. Similarly, $\omega_2$, $\omega_3$,.... has cardinalities which are all greater than $\aleph_0$. 

You can say that every countable ordinal has cardinality which is not greater than $\aleph_0$, in fact the cardinality is equal to $\aleph_0$. 

Note that the ordinals $\omega + 1, \omega + 2, ... , 2 \omega, ... , 3 \omega, ... \omega^2, ... $ are all countable ordinal, however $\omega_1$ is the first uncountable ordinal.
