格奥尔格·康托尔的对角线论证证明了实数的无限比自然数的可数无限大。这揭示了无限有不同的大小。 1891年,数学家格奥尔格·康托尔证明,有些无限比其他无限大得多。他指出,自然数(1, 2, 3...)构成“可数”无限。而实数(包括所有小数)则是“不可数”无限。康托尔开创性的对角线论证表明,你无法列出所有实数。即使在一个无限序列中也做不到。这打破了无限是一个单一概念的旧观念。