完成了一一对应。类似地，不难证明所有整数构成的集合formula_9、所有有理数构成的集合formula_10、甚至所有代数数构成的集合都是可列的。并非所有的无穷集都可数。乔治·康托首先指出存在有不可列的无穷集合。他利用他发明的对角论证法证明了由所有实数构成的集合formula_11是不可列的，即formula_11与formula_13之间不可能存在一种一一对应。这同时也表示实数当中存在有一些数不是代数数，因为刚才已经说过代数数是可列的；于是这就给出了一种超越数存在的非构造性证明。Section: