alef

• ilk halinin büyük a harfinin tersi olduğu rivayet edilen harf. öküz (bkz: afedersin) anlamına gelirmiş.
  
  cantor, doğal sayıların sayısına aleph sıfır, doğal sayıların tüm alt kümelerinin (bkz: kuvvet kümesi) (bkz: üst küme) sayısına alef bir, onun da üst kümesinin eleman sayısına alef iki demiştir. cantor dahil, tüm reel sayıların sayısının alef birden küçük mü büyük mü, yoksa ikisinin eşit mi olduğunu kimse ispatlayamamıştır; fakat şu kadarı bilinir ki, küçük de olsa büyük de olsa matematik aynı şekilde gelişmeye devam ederdi.
  
  edit: (bkz: yarım hekim candan yarım hoca dinden eder)
  ispatlanamayan reel sayıların sonsuzluğuna alef bir denmesi değildir, bu tanım gereğidir. ispatlanamayan, alef sıfır ve alef bir arasında bir sonsuzluk olup olamayacağıdır (bkz: continuum hypothesis)