Aleph is Infinite Cardinal

Theorem
Let $x$ be an ordinal.

Then:


 * $\aleph_x$ is an infinite cardinal where $\aleph$ denotes the aleph function.

Proof
By the definition of the aleph function, $\aleph : \operatorname{On} \to \mathcal N'$.

The theorem statement is an immediate consequence of this fact.