a_46的真子集。当我们考虑这些大对象的时候，我们还想看看计数次序的概念是否符合上述为无限集合定义的基数。事实上是不一致的；通过考虑上面的例子，我们可以看到如果有“比无限大一”的某个对象存在，它必须跟起初的无限集合有一样的势。这时候可以使用另一种称为序数的形式概念，它是建基于计数并依次考虑每个数的想法上。而我们会发现，势和序（ordinality）的概念对于无限的情况是有分歧的。可以证明实数的势大于刚才描述的自然数的势。透过对角论证法可以一目了然；跟势相关的经典问题（比如连续统假设）主要关注在某一对