We can list all the infinite Cardinals using Hartogs’ Lemma We define them inductively where is not a limit, while is a limit.