格奥尔格·康托尔

证明「无穷也分大小」的人

格奥尔格·康托尔在德国创立了集合论。他没有把无穷当作一整块笼统的概念，而是用对角线论证证明：实数的无穷比自然数的无穷更「大」——无穷本身也有等级之分。他的思想在当时遭到猛烈抵制，但如今集合论已成为整个现代数学共通的语言。