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$.