| 中文摘要 | 第1-5页 |
| 英文摘要 | 第5-6页 |
| 引言 | 第6-7页 |
| 一、康德与哥德尔对数学真的客观性的看法 | 第7-16页 |
| ·一些术语辨析 | 第7-11页 |
| ·数学真命题的获得 | 第11-13页 |
| ·数学真的客观性界限 | 第13-14页 |
| ·数学基础研究发展的影响 | 第14-16页 |
| 二、类型论与可构成集 | 第16-34页 |
| ·分枝类型论 | 第16-21页 |
| ·从类型谱系到可构成集类 | 第21-29页 |
| ·分枝类型论与L的哲学背景 | 第29-34页 |
| 三、哲学与具体学科研究实践关系管窥 | 第34-36页 |
| 附录A 一些集合论事实 | 第36-43页 |
| 附录B 基于可构成集的一致性证明 | 第43-50页 |
| 参考文献 | 第50-53页 |
| 后记 | 第53-54页 |