section_heading: Alef-ω
paragraph_text: Alef-ω je prvi neprebrojivi kardinalan broj za koji se unutar ZF teorije skupova može pokazati da nije jednak kardinalnosti skupa realnih brojeva; za bilo koji pozitivan cijeli broj n se može konzistentno pretpostaviti da je <math>2^{\aleph_0} = \aleph_n</math>, i štoviše, moguće je pretpostaviti da je <math>2^{\aleph_0}</math> proizvoljno velik.