Pete's excellent notes have correctly explained that there is no set containing sets of unboundedly large size in the infinite cardinalities, because from any proposed such family, we can produce a set of strictly larger size than any in that family.
This observation by itself, however, doesn't actually prove that there are uncountably many infinities. For example, Pete's argument can be carried out in the classical Zermelo set theory (known as Z, or ZC, if you add the axiom of choice), but to prove that there are uncountably many infinities requires the axiom of Replacement. In particular, it is actually consistent with ZC that there are only countably many infinities, although this is not consistent with ZFC, and this fact was the historical reason for the switch from ZC to ZFC.
The way it happened was this. Zermelo had produced sets of size $\aleph_0$, $\aleph_1,\ldots,\aleph_n,\ldots$ for each natural number $n$, and wanted to say that therefore he had produced a set of size $\aleph_\omega=\text{sup}_n\aleph_n$. Fraenkel objected that none of the Zermelo axioms actually ensured that $\{\aleph_n\mid n\in\omega\}$ forms a set, and indeed, it is now known that in the least Zermelo universe, this class does not form a set, and there are in fact only countably many infinite cardinalities in that universe; they cannot be collected together there into a single set and thereby avoid contradicting Pete's observation. One can see something like this by considering the universe $V_{\omega+\omega}$, a rank initial segment of the von Neumann hierarchy, which satisfies all the Zermelo axioms but not ZFC, and in which no set has size $\beth_\omega$.
By adding the Replacement axiom, however, the Zermelo axioms are extended to the ZFC axioms, from which one can prove that $\{\aleph_n\mid n\in\omega\}$ does indeed form a set as we want, and everything works out great. In particular, in ZFC using the Replacement axiom in the form of transfinite recursion, there are huge uncountable sets of different infinite cardinalities.
The infinities $\aleph_\alpha$, for example, are defined by transfinite recursion:
- $\aleph_0$ is the first infinite cardinality, or $\omega$.
- $\aleph_{\alpha+1}$ is the next (well-ordered) cardinal after $\aleph_\alpha$. (This exists by Hartog's theorem.)
- $\aleph_\lambda$, for limit ordinals $\lambda$, is the supremum of the $\aleph_\beta$ for $\beta\lt\lambda$.
Now, for any ordinal $\beta$, the set $\{\aleph_\alpha\mid\alpha\lt\beta\}$ exists by the axiom of Replacement, and this is a set containing $\beta$ many infinite cardinals. In particular, for any cardinal $\beta$, including uncountable cardinals, there are at least $\beta$ many infinite cardinals, and indeed, strictly more.
The cardinal $\aleph_{\omega_1}$ is the smallest cardinal having uncountably many infinite cardinals below it.
It generalizes very naturally.
If $\kappa$ and $\lambda$ are cardinal numbers such that $\kappa$ is infinite and $0<\lambda\le\kappa$, the union of $\lambda$ sets of cardinality $\kappa$ has cardinality $\kappa$. In other words, the union of at least one and at most $\kappa$ sets of cardinality $\kappa$ has cardinality $\kappa$.
An alternative generalization is that if $\kappa$ is an infinite cardinal number, the union of at most $\kappa$ sets, each of cardinality at most $\kappa$, also has cardinality at most $\kappa$. In symbols, if $\lambda<\kappa$, and $\{A_\xi:\xi<\lambda\}$ is a family of sets such that $|A_\xi|\le\kappa$ for each $\xi<\lambda$, then $$\left|\bigcup_{\xi<\lambda}A_\xi\right|\le\kappa\;.$$
Best Answer
There is no "number of cardinalities". As you say, there are so many that they cannot form a set.
Suppose that ${\mathcal A}$ is a set whose elements are sets, with the property that if $A,B\in{\mathcal A}$ and $A\ne B$, then $|A|\ne|B|$, i.e., $A,B$ have different cardinalities. Let $C=\bigcup{\mathcal A}$, i.e., $C=\bigcup_{A\in{\mathcal A}}A$. Clearly, $|C|\ge|A|$ for each $A\in{\mathcal A}$. Let $D={\mathcal P}(C)$ be the power set of $C$. Then $|D|>|C|$ so $|D|>|A|$ for any $A\in{\mathcal A}$. This proves that there cannot be a set of all cardinalities, because given any such set, we just found a new cardinality different from all the ones in the set.
Of course, if ${\mathcal A}$ is countable, this shows that the ''number'' of cardinalities is not countable.
There is a small remark that may be worth making. The argument works just as well if we do not require that all sets in ${\mathcal A}$ have different cardinalities, but simply that for any prescribed cardinality we want to consider, there is at least one set in ${\mathcal A}$ of that size (but there may more than one). This is slightly more general, but there is also a technical advantage, namely, in this form, the argument does not depend in any version of the axiom of choice.
(Finally: I just checked Pete's nice note that is linked to in the body of the question. His fact 20 there is essentially the argument I've shown here.)