有理数 实数 刮脸 悖论 子集 罗素 康托尔
数学 集合论 库尔特·哥德尔 大卫·希尔伯特 哲学 阿兰·图灵 泛函编程 Y Combinator
数学 集合论 大卫·希尔伯特 大学 哲学 恩斯特·库默尔 苏黎世大学 瑞士 拉内布 BY2