讲义: 经典数学基础(OperatorP)

本讲义旨在为读者提供一个简单的基于集合论的数学基础入门. 笔者已经有了原稿, 但打磨校正及上传至此处尚需时日. 如果此讲义有任何数学错误, 请帮助我改正或在讨论区提出, 谢谢.

参考书是复旦大学出版社的四本书, 以及 Kunen 的 Set Theory.

目录

1命题逻辑

2一阶逻辑

3ZF 与 NBG

4数学对象

5序数

6AC 与 GAC

7基数

8理论与模型

9递归与公理

10算术理论

11不完备性定理

12翻译

13正则公理的辩护

14AC 的辩护