Число Алеф

Алеф-ноль – это наименьшее бесконечное кардинальное число, обозначаемое как ω0.
Алеф-один – это мощность множества всех счетных порядковых чисел, обозначаемая как ω1.
Алеф-омега – это предел последовательности меньших кардиналов счетной длины.
Алеф-α для общего α определяется через операцию последовательного кардинала.
Мощность любого бесконечного порядкового числа является числом алеф.
В ZF предположение о том, что мощность каждого бесконечного множества равна числу алеф, эквивалентно аксиоме выбора.

Полный текст статьи:

Число Алеф — Википедия