格奥尔格·康托尔（Georg Ferdinand Ludwig Philipp Cantor）

集合论的创立者——他第一次把「无穷」当作可以比较、可以运算的数学对象来认真对待，由此彻底重塑了数学的基础语言，也几乎单枪匹马地把整个现代数学拖进了一个由「无穷的无穷」构成的新世界。

一、生平与时代背景

格奥尔格·费迪南德·路德维希·菲利普·康托尔于 1845 年 3 月 3 日生于俄国圣彼得堡（俄旧历 2 月 19 日）。父亲格奥尔格·瓦尔德马·康托尔（Georg Waldemar Cantor）是丹麦裔商人，在圣彼得堡做批发生意，后来成为圣彼得堡股票交易所的经纪人；母亲玛丽亚·安娜·伯姆（Maria Anna Böhm）是俄国人，极有音乐天赋。康托尔继承了家族的艺术才能，是一位出色的小提琴家。父亲是虔诚的新教徒，母亲信天主教，康托尔自幼被作为新教徒抚养；他的外祖父弗朗茨·伯姆（Franz Böhm）是俄国帝国乐团的独奏家。据康托尔自己的描述，其祖父母来自哥本哈根的葡萄牙裔犹太人（Sephardic）社群——这一身份背景在后世传记中常被提及，但其细节与确切程度「存疑」，主要依据康托尔本人的说法。

康托尔 11 岁前在圣彼得堡度过，先由家庭教师授课，后入小学。1856 年父亲健康恶化，全家为躲避圣彼得堡严寒的冬天迁往德国，先在威斯巴登（Wiesbaden），后至法兰克福。他在达姆施塔特的实科中学（Realschule）住读，1860 年以优异成绩毕业，报告特别提到他在数学、尤其是三角学上的出众才能。1860—1862 年他就读于达姆施塔特高等职业学校（Höhere Gewerbeschule），父亲本希望他成为「工程界的一颗明星」，但 1862 年康托尔终于说服父亲允许他攻读数学，欣喜不已。1862 年他进入苏黎世联邦理工学院（即后来的 ETH Zürich）；1863 年 6 月父亲去世，他继承了一笔可观的遗产，遂转入柏林大学，在此结识同窗赫尔曼·施瓦茨（Hermann Schwarz），聆听魏尔斯特拉斯、库默尔（Ernst Kummer）与克罗内克（Leopold Kronecker）的讲课。1866 年夏季学期他在哥廷根度过，1867 年回柏林完成数论方向博士论文《论不定二次方程》（De aequationibus secundi gradus indeterminatis）。在柏林期间他曾任学生数学会主席（1864—65），也是每周在酒馆聚会的青年数学家小圈子成员。

获博士学位后，康托尔先在柏林一所女子学校任教，1868 年进入 Schellbach 数学教师研讨班，同时准备任教资格论文（habilitation）。1869 年他被哈雷大学（Universität Halle）聘为讲师，随即提交了一篇仍属数论方向的资格论文。正是在哈雷，他的研究方向在同事爱德华·海涅（Eduard Heine）的建议下从数论转向分析：海涅向他提出了一个久攻不下的公开问题——函数的三角级数表示的唯一性。这一问题此前困扰过狄利克雷、利普希茨、黎曼与海涅本人。康托尔在 1870 年 4 月前证明了唯一性定理，并在 1870—1872 年间发表了一系列关于三角级数的论文，这些工作深受魏尔斯特拉斯分析严格化风格的影响。1872 年，他在一篇三角级数论文中用有理数的收敛序列定义了无理数（同年戴德金也独立发表了以「戴德金分割」定义实数的论文，并引用了康托尔寄给他的文章）；同年他升任哈雷副教授，并在瑞士度假时结识了理查德·戴德金（Richard Dedekind），由此开始一段对数学史至关重要的通信。

1873 年，康托尔证明有理数可数，进而证明代数数可数；同年 12 月他证明实数不可数，1874 年发表——这是集合论作为数学分支诞生的标志。1874 年他与妹妹的朋友瓦莉·古特曼（Vally Guttmann）订婚，8 月 9 日结婚，在瑞士因特拉肯度蜜月时仍与戴德金长时间讨论数学。1877 年他证明区间 [0,1] 与 n 维空间 [0,1]^n 之间存在一一对应，震惊之余写信给戴德金说：「我看见它了，但我不相信它！」（Je le vois, mais je ne le crois pas !）这一结果对维度概念冲击巨大，1878 年投到《克雷尔杂志》（Crelle's Journal）时遭到克罗内克的刁难，经戴德金斡旋才得以发表；此后康托尔再未向该刊投稿。

1879 年康托尔在海涅推荐下升任正教授，但他始终渴望更有声望大学（尤其是柏林）的讲席，却因克罗内克的阻挠而未能如愿。1879—1884 年，他在《数学年鉴》（Mathematische Annalen，由克莱因推动发表）上连载了六篇系统介绍集合论的论文；其中 1883 年的第五篇《一般流形论基础》（Grundlagen einer allgemeinen Mannigfaltigkeitslehre）最为重要，也单独印行成册，首次把超限数呈现为自然数的自主、系统的扩张。然而这一时期他屡遭打击：1880 年与施瓦茨的通信因后者不再支持他的方向而终止；1881 年海涅去世，他列出的三位继任候选人（戴德金、韦伯、默滕斯）全部谢绝了哈雷的讲席；1882 年他与戴德金的通信也告一段落。1884 年 5 月底，他第一次有记录的抑郁症发作，几周后恢复，但自信明显受损。

1885 年，米塔-列夫勒（Gösta Mittag-Leffler）在论文已到校样阶段时劝康托尔撤回一篇投给《数学学报》（Acta Mathematica）的文章，理由是它「超前了大约一百年」；康托尔表面打趣，实则深受伤害，与米塔-列夫勒的通信此后几乎断绝。1886 年他在哈雷汉德尔街（Händelstrasse）购置新居，同年小儿子鲁道夫出生，至此共有六个孩子。此后他逐渐从集合论的数学发展转向两个新方向：一是与哲学家讨论其理论的哲学含义（1888 年出版这些通信），二是接手克莱布施（Clebsch）创立德国数学家协会（Deutsche Mathematiker-Vereinigung, DMV）的构想，1890 年正式创立，1891 年 9 月在哈雷主持首次大会并当选首任主席（任职至 1893 年），并在这次大会上首次公开了他的对角论证。

1894 年他发表了一篇把 1000 以内偶数表为两素数之和的论文（哥德巴赫猜想的数值验证），因其内容远落后于四十年前的已有验证，常被认为更多反映了他当时的精神状态。1895 与 1897 年他在《数学年鉴》（克莱因任编辑）上发表《超限数论基础的贡献》（Beiträge zur Begründung der transfiniten Mengenlehre）上下两篇，是其集合论的最后总结。1897 年他出席在苏黎世召开的第一届国际数学家大会（ICM），与戴德金重叙旧谊；此时他已发现集合论中的第一个悖论（最大序数悖论），1896 年曾写信向希尔伯特说明。1899 年他再次住院，同年 12 月 16 日小儿子鲁道夫在他宣讲「培根—莎士比亚」观点的讲座期间突然夭折，这一悲剧极大地消耗了他对数学的热情。

1904 年，在第三届国际数学家大会（海德堡）上，匈牙利数学家尤利乌斯·克尼希（Julius König）宣读了一篇企图证明超限集合论基本信条为假的论文，康托尔在女儿与同事面前感到受了公开羞辱；虽然策梅洛（Ernst Zermelo）不到一天就指出了克尼希证明中的错误，但康托尔深受震动，此后每隔两三年便住院一次，并多次获准停教。他仍未完全放弃数学，1903 年在 DMV 会议上讲解过集合论悖论。1911 年他作为特邀学者出席圣安德鲁斯大学 500 周年校庆，本希望见到罗素（罗素刚出版的《数学原理》多次引用他），却未能相遇；次年圣安德鲁斯授予他荣誉博士学位，但他因病未能亲往领取。1913 年退休，第一次世界大战期间生活贫困、营养不良，70 岁的公开庆祝也因战争取消。1917 年 6 月他最后一次住进疗养院，不断写信给妻子请求回家。1918 年 1 月 6 日，他在度过了生命最后一年的疗养院里因心脏病发作去世，享年 72 岁。1904 年他获英国皇家学会西尔维斯特奖章（Royal Society 的最高数学荣誉）；1970 年月球上的一座环形山以他命名。

二、学术生涯年表

三、核心成果（逐条技术解析）

1. 三角级数唯一性定理与超限序数的诞生（1870—1872）

问题背景：一个函数能否以两种不同的三角级数表示？这是分析学的核心基础问题，狄利克雷、黎曼、海涅等人都未能彻底解决。

关键思想：康托尔先证明：若两个三角级数在整个区间上逐点收敛到同一函数，则其系数完全相同（唯一性）。随后他逐步放宽条件：允许在有限个点上不收敛、再允许在一个第 n 阶导集为空的例外集上不收敛。为此他反复对例外集取「极限点集」（导集），自然地产生了取极限点过程的迭代指标——这正是超限序数的雏形。

精确表述：给定集合 $S$，其导集 $S'$ 为 $S$ 的全体极限点；递归定义 $S^{(n+1)}=(S^{(n)})'$。当迭代无穷多次后取交集得到 $S^{(\omega)}$，再继续得到 $S^{(\omega+1)},\ldots$ 这些指标 $\omega,\omega+1,\ldots$ 就是最早出现的超限序数。康托尔证明：若例外集的某个超限阶导集为空，则唯一性仍成立。

与前人关系：这是从分析走向集合论的入口——为了研究函数表示，他不得不发明一套描述「无穷迭代」的新数。

意义：这是数学史上超限序数第一次自然地出现在具体问题中；也开启了对点集拓扑的研究。

2. 实数不可数与代数数可数（1874）——集合论的诞生

问题背景：无穷集合是否都「一样大」？这在康托尔之前从未被严肃地提出过——人们默认所有无穷都是同一个无穷。

关键思想：康托尔引入「一一对应」作为比较集合大小的标准（若两集合间存在双射，则它们「等势」）。他证明：①全体代数数（整系数多项式的根）可以排成一个序列，即与自然数等势（可数）；②全体实数不能排成一个序列（不可数），因此存在不止一种无穷。

精确表述：1874 年的证明用的是区间套方法，并非后来广为人知的对角线法：任给一个实数序列 $a_1,a_2,\ldots$，可构造一列严格嵌套的闭区间，使每个 $a_n$ 都落在第 $n$ 个区间之外；由实数完备性，这些区间的交含有一个不在序列中的实数，故实数不可数。把此构造用于代数数序列，便得到一个超越数，从而新证了「每个区间含无穷多超越数」（刘维尔 1844/1851 年首次构造出超越数）。

与前人关系 / 争议：康托尔在 1874 年论文中未充分承认戴德金的贡献——据后来对两人通信的分析，代数数可数性的证明源于戴德金，他也实质性地简化了康托尔关于实数不可数的原证。如何评价这一「致谢缺失」学界有争议：部分学者（如部分英文维基编辑）称之为「剽窃」，但主流数学史（如 Dauben 的权威传记、MacTutor）更倾向于表述为「未充分致谢」，两人此后的通信也显示了复杂的合作与张力，不宜简单定性为剽窃（存疑）。

历史意义：这是数学史上第一次证明存在不同大小的无穷，标志着集合论作为独立分支的诞生。

3. 对角论证与康托尔定理（1891）

问题背景：1874 年的不可数证明依赖实数的序结构与完备性；能否给出一个更直接、更一般、不依赖实数性质的证明？幂集又有多大？

关键思想：康托尔 1891 年在 DMV 哈雷大会上提出对角线法：假设所有 0-1 序列（或实数的小数表示）可排成一列，将第 $n$ 个序列的第 $n$ 位取反，得到一个新序列，它与列表中每一个都至少有一位不同，故不在列表中——矛盾，因此 0-1 序列全体不可数。

精确表述 / 康托尔定理：对任意集合 $A$，其幂集 $\mathcal{P}(A)$ 的基数严格大于 $A$ 的基数，即 $|\mathcal{P}(A)|>|A|$。证明仍是对角线式的：若存在满射 $f:A\to\mathcal{P}(A)$，考虑 $B={x\in A:x\notin f(x)}$，则 $B\in\mathcal{P}(A)$ 却不是任何 $f(x)$（由 $x\in B\Leftrightarrow x\notin f(x)$ 知 $B\neq f(x)$），矛盾。

意义：对角论证已成为逻辑学与理论计算机科学的基本方法，直接孕育了图灵停机问题的证明与哥德尔第一不完备性定理的对角线构造；康托尔定理则保证了无穷基数有无穷多层级——没有最大的无穷。

4. 基数与序数的算术，ℵ 与 ω 记号（1883—1895）

问题背景：既然无穷有不同大小，就需要一套数来命名和运算它们。

关键思想：康托尔区分了两种「数」：基数（势）描述集合的大小，用希伯来字母 ℵ（aleph）带下标表示，最小的无穷基数为 $\aleph_0$（自然数集的势），其后是 $\aleph_1,\aleph_2,\ldots$；序数描述良序集的序型，用希腊字母 $\omega$（omega）表示第一个无穷序数，其后是 $\omega+1,\omega+2,\ldots,\omega\cdot 2,\ldots,\omega^2,\ldots,\omega^\omega,\ldots$。

精确表述： - 基数加法 $|A|+|B|=|A\sqcup B|$，乘法 $|A|\cdot|B|=|A\times B|$。对无穷基数，有 $\aleph_0+\aleph_0=\aleph_0$、$\aleph_0\cdot\aleph_0=\aleph_0$ 等反直觉但严格成立的等式。 - 序数加法与乘法不满足交换律：$1+\omega=\omega\neq\omega+1$。 - 连续统的基数记为 $\mathfrak{c}=2^{\aleph_0}$。

与前人关系：这是人类第一次为「无穷」建立完整的算术体系，远超亚里士多德以来「潜无穷」的哲学传统。

局限性：康托尔的「朴素集合论」缺乏公理基础，导致悖论（见第 6 条），后经策梅洛—弗兰克尔（ZF/ZFC）公理化才化解。

5. 连续统假设（1878 年提出，终生未能证明）

问题背景：自然数集的势是 $\aleph_0$，连续统（实数集）的势是 $\mathfrak{c}=2^{\aleph_0}$。二者之间是否还有其他无穷基数？

精确表述：连续统假设（CH）断言 $\mathfrak{c}=\aleph_1$，即不存在基数严格介于 $\aleph_0$ 与 $\mathfrak{c}$ 之间的集合。康托尔在 1878 年《对流形论的一个贡献》中首次表述这一猜想（「连续统的势来自第二数类」）。

康托尔的努力：他一度以为证明了 CH 为真，次日发现错误；又以为证明了为假，再次发现错误——这种反复极大地折磨了他，1884 年的抑郁发作与此不无关联。他最终未能证明。

后世结局：1900 年希尔伯特将 CH 列为其 23 个问题的第一题。1940 年哥德尔证明 CH 与 ZFC 相容（不能在 ZFC 中证伪）；1963 年科恩（Paul Cohen）发明力迫法证明 CH 与 ZFC 独立（不能在 ZFC 中证明）。因此 CH 在标准集合论中不可判定，成为数学基础中最著名的独立性结果。

6. 维度的集合论刻画与「看见但不相信」（1877—1878）

问题背景：直觉上，直线是一维、平面是二维，点的「多少」应与维度有关。

关键思想 / 结果：康托尔证明区间 $[0,1]$ 与单位正方形 $[0,1]^2$ 之间存在一一对应——它们作为集合「同样多」的点。这颠覆了「维度 = 点数」的直觉。

精确表述 / 局限：康托尔立刻强调，他构造的对应不是连续映射。维度之所以仍是不变量，是因为连续性的要求：后来布劳威尔（L. E. J. Brouwer）在 1911 年证明了维度不变性定理——不同维度的欧氏空间之间不存在同胚。康托尔的结果揭示：仅靠基数无法区分维度，必须引入拓扑（连续性）结构。

意义：这一发现推动了拓扑学与维度理论的建立，也让数学家第一次清晰地认识到「集合的大小」与「几何形状」是两个独立的概念。

7. 集合论悖论与「绝对无穷」（1895—1899）

问题背景：康托尔的「任意性质定义一个集合」的朴素观念会导致矛盾。

关键思想：康托尔在 1895—1899 年间发现了两个悖论：①最大序数悖论（后被 Burali-Forti 1897 年独立发表，故称 Burali-Forti 悖论）：所有序数构成的集合若也是良序集，就应有一个比它自身更大的序数，矛盾；②最大基数悖论（康托尔悖论）：所有集合构成的「大全集」$V$，其幂集 $\mathcal{P}(V)$ 应比 $V$ 大，但 $V$ 是一切集合之集又应包含 $\mathcal{P}(V)$，矛盾。1901 年罗素提出了更简洁的罗素悖论（所有不属于自身的集合构成的集合）。

康托尔的回应：他区分了「一致的复多」（集合）与「不一致的复多」（如全体序数、全体基数、大全集——太大而不能成为一个集合），这已是后来冯·诺伊曼「类」（class）概念的雏形。

意义：这些悖论引发了所谓「第三次数学危机」，直接催生了公理集合论（ZFC、NBG 等）与数学基础的研究，但集合论本身不仅没有被推翻，反而成为现代数学的统一基础。

四、代表著作与文献

• 《论全体实代数数的一个性质》（Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen，1874，《克雷尔杂志》第 77 卷）：集合论的开山之作，首次证明存在不同大小的无穷。
• 《对流形论的一个贡献》（Ein Beitrag zur Mannigfaltigkeitslehre，1878，《克雷尔杂志》第 84 卷）：证明区间与 n 维空间等势，首次陈述连续统假设。
• 《一般流形论基础》（Grundlagen einer allgemeinen Mannigfaltigkeitslehre，1883，《数学年鉴》第 21 卷，亦单行本）：系统引入超限序数与良序集，是集合论哲学与数学的纲领性文献。
• 《超限数论基础的贡献》上下篇（Beiträge zur Begründung der transfiniten Mengenlehre，1895/1897，《数学年鉴》第 46、49 卷）：康托尔集合论的最终总结，建立基数与序数算术，引入 ℵ 记号。菲利普·茹尔丹（Philip Jourdain）英译名为 Contributions to the Founding of the Theory of Transfinite Numbers（1915）。
• 《哲学与神学视角下的超限数理论》（1888 年出版的通信集）：康托尔论述其理论的哲学与宗教含义。
• 康托尔的书信集（与戴德金、米塔-列夫勒、希尔伯特等的通信）是研究其思想发展的核心一手史料，由诺特、卡瓦耶等编辑出版。

五、师承、学派与同时代交往

• 师承：柏林大学师从魏尔斯特拉斯、库默尔、克罗内克；博士导师列为库默尔与魏尔斯特拉斯。魏尔斯特拉斯的分析严格化深刻影响了他早期工作；克罗内克后来成为他最激烈的反对者。
• 戴德金：1872 年瑞士度假时结识，通信贯穿 1870 年代，是其集合论思想最重要的对话者与批评者；1882 年因戴德金谢绝哈雷讲席而通信中断，1897 年苏黎世 ICM 上重叙。两人在实数定义（1872 年各自独立给出）、代数数可数性证明上有复杂的优先权与致谢纠葛。
• 海涅：哈雷同事，建议他研究三角级数唯一性问题，直接把他引向集合论；1881 年去世后其讲席继任风波令康托尔深受打击。
• 克罗内克：柏林数学的掌权者，构造主义/有限主义的先驱，认为康托尔的超限数是「数学的疾病」，公开称他为「科学骗子」「叛徒」「腐蚀青年的人」，长期阻挠他在柏林获得职位、延误其论文发表。两人 1891 年在哈雷 DMV 大会前有过表面和解（克罗内克因故未能到会），但哲学分歧从未弥合。
• 米塔-列夫勒：1882 年起的重要通信者，康托尔曾在其《数学学报》发表论文；1885 年劝其撤稿事件后关系破裂。
• 克莱因：推动康托尔的六篇集合论论文在《数学年鉴》发表，1895/1897 年的总结论文也刊于该刊；是康托尔工作的重要支持者与出版渠道。
• 希尔伯特：康托尔 1896 年致信讨论悖论；希尔伯特是集合论最有力的捍卫者，1925 年名言「没有人能把我们从康托尔为我们创造的乐园中驱逐出去」。
• 学生 / 受其影响者：康托尔本人在哈雷没有形成大的学派，但集合论通过戴德金、策梅洛、豪斯多夫、罗素、哥德尔等成为整个数学的基础；策梅洛（ZFC 公理的建立者）、哈斯多夫（拓扑学与集合论的集大成者）是其直接的学术继承者。

六、争议、公案与历史评价

• 与克罗内克的冲突：这是数学史上最著名的个人恩怨与哲学对立之一。克罗内克的「上帝创造了整数，其余都是人的工作」与构造主义立场，使他根本无法接受实无穷与非构造性存在证明；他对康托尔的攻击在 19 世纪末被视为主流对异端的压制。后世对这一冲突的评价渐趋复杂：克罗内克的担忧并非全无道理（它预示了构造主义与直觉主义），但其人身攻击与学术封锁对康托尔造成了真实伤害。
• 与戴德金的致谢/优先权纠葛：1874 年论文未充分承认戴德金对代数数可数性证明的贡献，部分学者措辞激烈。但主流数学史（Dauben 等）认为不宜简单定性，两人关系中既有合作也有张力（存疑 / 学界有争议）。
• 抑郁症的成因：长期以来人们把康托尔的精神崩溃归因于数学上的挫折（特别是无法证明 CH）与克罗内克的敌意。现代医学史研究更倾向于认为他可能患有双相情感障碍（bipolar disorder），数学困境与人际冲突只是被其病情放大、而非病因（存疑 / 学界有争议，属回溯性诊断）。
• 「培根作莎剧」的旁骛：1880 年代后他投入大量精力试图证明弗朗西斯·培根才是莎士比亚戏剧的作者，1896、1897 年出版两本小册子，甚至在小儿子去世当天的讲座上宣讲——这反映了他后期兴趣的偏移与精神状态，也常被传记家视为其数学创造力衰退的征兆。
• 当时与后世的评价转变：康托尔生前长期被视为异端，庞加莱、外尔、布劳威尔都对集合论有所保留，维特根斯坦更称集合论是「数学中有害的习语」「彻底的胡说」。但希尔伯特的捍卫、公理集合论的化解，以及 20 世纪整个数学对集合论语言的采用，使他最终被公认为与高斯、黎曼并列的最伟大数学家之一。
• 宗教争议：康托尔是虔诚的路德宗信徒，相信超限数理论是上帝启示给他的；部分新经院派神学家认为他的理论挑战了上帝「绝对无穷」的独一性，一度把超限数等同于泛神论，康托尔对此激烈否认，并成功说服红衣主教弗兰泽林（Johann Baptist Franzelin）接受其理论为合法。

七、身后影响与学术谱系

• 数学基础：集合论成为 20 世纪数学的统一基础语言——代数、分析、拓扑、几何中的几乎所有对象都在 ZFC 中被重新定义。康托尔的工作直接催生了公理集合论（策梅洛 1908、弗兰克尔 1922）、模型论与可构成集（哥德尔 1938）、力迫法（科恩 1963）、大基数理论、描述集合论等现代数理逻辑的核心分支。
• 分析与拓扑：康托尔对点集、导集、闭集、稠密集、无处稠密集等概念的研究，直接孕育了点集拓扑学；豪斯多夫的《集合论基础》（1914）是其直接继承者。傅里叶级数的唯一性问题（康托尔的起点）经他推动，最终通向描述集合论。
• 连续统假设的遗产：CH 的不可判定性（哥德尔—科恩）是 20 世纪数学基础最深刻的发现之一，催生了无穷公理、内模型与力迫的整个现代研究，也迫使数学家直面「数学真理是否唯一」的哲学问题。
• 对逻辑学与计算机科学：对角论证方法被图灵用于停机问题、被哥德尔用于不完备定理，是计算理论与元数学的核心技术。
• 命名遗存：康托尔集（三分集）、康托尔定理、康托尔悖论、康托尔函数（魔鬼阶梯）、康托尔—戴德金公理（实数完备性）、ℵ 与 ω 记号、连续统假设；月球环形山 Cantor、小行星 13848 Cantor；以其命名的康托尔奖章（DMV 与以色列数学会合颁）。
• 文化形象：康托尔的生平（天才、受迫害、精神疾病、宗教热情）成为数学史与科学哲学中的经典叙事；他与克罗内克的对立常被用作「数学革命如何被主流抗拒」的范例。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Georg Cantor：圣安德鲁斯大学权威传记，本档案主要史实出处。
• Stanford Encyclopedia of Philosophy: Georg Cantor：斯坦福哲学百科条目，集合论的哲学与技术背景。
• Wikipedia: Georg Cantor：生平、著作、争议与身后影响的交叉核对。
• Wikipedia: Cantor's diagonal argument：对角论证的方法与历史。
• Wikipedia: Cantor's theorem：幂集基数严格大于原集的定理。
• Wikipedia: Continuum hypothesis：连续统假设的提出、哥德尔—科恩独立性结果。
• Wikipedia: Controversy over Cantor's theory：康托尔理论的历史争议与哲学批评。
• Wikipedia: Schröder–Bernstein theorem：康托尔尝试证明的等价定理，及其正确证明历史。
• Joseph Dauben, Georg Cantor: His Mathematics and Philosophy of the Infinite (Harvard UP, 1979)：最权威的康托尔传记（MacTutor 主要参考来源之一）。
• Wikipedia: List of things named after Georg Cantor：以他命名的数学概念一览。