on::::介绍.由定义易知所有偶数所构成的集合为可列的，因为我们可以将所有的formula_7都对应到formula_8，如此就完成了一一对应。类似地，不难证明所有整数构成的集合formula_9、所有有理数构成的集合formula_10、甚至所有代数数构成的集合都是可列的。并非所有的无穷集都可数。乔治·康托首先指出存在有不可列的无穷集合。他利用他发明的对角论证法证明了由所有实数构成的集合formula_11是不可列的，即formula_11与formula_13之间不可能存在一种一一对应。这同时也