la_3，以此类推。一直继续下来，便可以对任一序数定义一个基数formula_4。这一概念来自于康托尔，他定义了势，并认识到无穷集合是可以有不同的势的。阿列夫数与一般在代数与微积分中出现的无限 () 不同。阿列夫数用来衡量集合的大小，而无限只是在极限的写法中出现，或是定义成扩展的实数轴上的端点。某些阿列夫数会大于另一些阿列夫数，而无限只是无限而已。
构造性定义.阿列夫数的直观定义并没有解释什么叫“下一个较大的势”，也没有证明是否存在“下一个较大的势”。即便承认对任意