Алеф број — разлика између измена

Алеф-ω је први непребројиви кардиналан број за који се унутар ЗФ теорије скупова може показати да ''није'' једнак кардиналности скупа реалних бројева; за било који позитиван цео број ''-{n}-'' можемо конзистентно да претпоставимо да <math>2^{\aleph_0} = \aleph_n</math>, и штавише, могуће је претпоставити да је <math>2^{\aleph_0}</math> произвољно велико.

 

 

Тада можемо да дефинишемо алеф бројеве на следећи начин