来字母(aleph)演变而来）加角标表示。可数集（包括自然数）的势标记为formula_1，下一个较大的势为formula_2，再下一个是formula_3，以此类推。一直继续下来，便可以对任一序数定义一个基数formula_4。这一概念来自于康托尔，他定义了势，并认识到无穷集合是可以有不同的势的。阿列夫数与一般在代数与微积分中出现的无限 () 不同。阿列夫数用来衡量集合的大小，而无限只是在极限的写法中出现，或是定义成扩展的实数轴上的端点。某些阿列夫数会大于另一些阿列夫数，而无限只是无限而已。