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