Hartogs' Lemma (Set Theory)

Theorem
Let $S$ be a set.

Then there exists an ordinal $\alpha$ such that there is no injection from $\alpha$ to $S$.

Also known as
This result is also known as Hartogs' theorem.