Skala alefów – ciąg wszystkich początkowych liczb porządkowych indeksowany liczbami porządkowymi. Oznaczenie „alef” na moc zbioru nieskończonego zostało wprowadzone przez Georga Cantora.
Definicja formalna Przy założeniu aksjomatu wyboru mówi się, że liczba porządkowa jest początkową liczbą porządkową (albo liczbą kardynalną), jeśli nie jest równoliczna z żadną liczbą porządkową od niej mniejszą. Przez indukcję po wszystkich liczbach porządkowych definiujemy ciąg (jest to klasa właściwa): jest pierwszą nieskończoną liczbą porządkową jest pierwszą początkową liczbą porządkową większą od jeśli jest liczbą graniczną, to
Należy zauważyć, że czasami stosuje się oznaczenie na Zwykle ma to miejsce wtedy, gdy chcemy podkreślić, że jesteśmy zainteresowani strukturą porządkową, a nie tylko mocą zbioru. Tak więc zapis „” oznacza często -tą początkową liczbę porządkową z porządkiem, natomiast „” to ten sam zbiór, ale bez struktury porządkowej.
Przykłady mały|Alef zero, najmniejsza nieskończona liczba kardynalna