康托尔：对角论证法

康托尔的对角论证法证明了无限小数集合是不可数的。他先假设这些数是可数的，并将其都放入一个列表中。从每个数中拿出一位数组成一个新数。