Bilangan alef

Untuk mendefinisikan formula_5 bagi bilangan ordinal sembarang formula_20, perlu didefinisikan , yang diberikan pada setiap bilangan kardinal ρ bilangan kardinal ρ berikutnya yang lebih besar dalam (jika masih dipertahankan, inilah bilangan kardinal lebih besar berikutnya).