第一章 问题的由来：2No＝N？ 1
第一节 无穷的大小 2
第二节 连续统假设 8
第二章 证明“不可证” 19
第一节 证明、语言与编码 21
第二节 形式系统与独立性命题 25
第三章 CH的独立性 37
第一节 哥德尔的可构成集 38
第二节 科恩的力迫法 46
第三节 哲学上的分歧 56
第四章 哥德尔纲领 63
第一节 集合这个概念 64
第二节 早期大基数公理 71
第三节 哥德尔纲领 79
第五章 V＝L？ 87
第一节 可测基数 90
第二节 超积和超幂 95
第三节 初等嵌入与可测基数 103
第六章 大基数 110
第一节 可测基数之下 114
第二节 超紧基数 118
第三节 武丁基数 128
第七章 局部策略 131
第一节 H（ω0）与经验完全性 133
第二节 PD与二阶算术 138
第三节 Ω猜想和CH 145
第四节 多宇宙真理观与Ω猜想 149
第八章 终极L 155
第一节 内模型计划及其困难 156
第二节 弱扩张子模型与普遍性定理 161
第三节 HOD猜想与终极L 165
参考文献 173