| 中文提要 | 第1-5页 |
| 英文提要 | 第5-6页 |
| 前言 | 第6-7页 |
| 第一章 罗素形成数学逻辑主义思想的历史背景及其数学逻辑主义论题的提出 | 第7-11页 |
| 一 历史背景 | 第7-8页 |
| 二 数学逻辑主义论题的提出 | 第8-11页 |
| 第二章 罗素对数学逻辑主义论题的证明 | 第11-30页 |
| 一 理论资料的来源——弗雷格对数学逻辑主义的基础研究 | 第11-13页 |
| 二 罗素悖论的发现 | 第13-16页 |
| 三 罗素对其数学逻辑主义论题的证明 | 第16-30页 |
| （一） 罗素提出逻辑类型论以解决罗素悖论 | 第16-19页 |
| 1 罗素悖论产生的根源——恶性循环 | 第16-17页 |
| 2 罗素悖论的解决办法——逻辑类型论 | 第17-19页 |
| （二） 罗素对数学逻辑主义论题的证明 | 第19-30页 |
| 1 证明的基础——非集合理论 | 第19-20页 |
| 2 证明的前提——无穷公理和选择公理 | 第20-21页 |
| 3 利用逻辑概念去定义数学概念 | 第21-23页 |
| 4 构造系统，通过纯粹的逻辑演绎法从逻辑公理推导数学定理 | 第23-30页 |
| a 命题逻辑演算系统 | 第24-27页 |
| b 谓词逻辑演算系统 | 第27-30页 |
| 第三章 对罗素的数学逻辑主义思想的评论 | 第30-37页 |
| 一 罗素的数学逻辑主义的失败及其原因分析 | 第30-34页 |
| （一） 失败的表现 | 第30-31页 |
| （二） 失败的原因分析 | 第31-34页 |
| 二 罗素的数学逻辑主义基础研究的贡献 | 第34-37页 |
| 结束语 | 第37页 |
| 注释 | 第37-39页 |
| 主要参考文献 | 第39-41页 |
| 后记 | 第41页 |
