公理集合论（Axiomatic Set Theory）是数理逻辑的主要分支之一，是用公理化方法重建（朴素）集合论的研究以及集合论的元数学和集合论的新的公理的研究。本书是作者研究集合论多年的成果，全书共13章。与通常的公理集会论著作不同，本书在引人形式系统之前首先直观而又严谨地阐述了类、集合、序数、基数以及势的概念，为没有受过逻辑训练的读者掌握集合论的基本概念提供了方便。此后又引进了集合论形式语言和ZF形式公理系统，对直观集合论中的概念和公理进行了形式化处理，并在此基础上建立了若干逻辑定理。结构合理，循序渐进，可作为教材使用。

李娜，女，南开大学哲学院教授；1978年2月入河南大学数学系读本科，后获理学学士学位，1989年7月获中国科学院软件研究所理学硕士学位；主要研究方向为数理逻辑、模态逻辑、集合论、抽象代数。

章集合
1集合的引入
3公理
4集合的初等运算
第2章关系·函数·序
1有序对
3函数
4等价与划分
5序
第3章自然数
1自然数的引入
2自然数的性质
3递归定理
4自然数的算术
5运算和结构
第4章有穷·可数和不可数集
1集合的基数
2有穷集合
3可数集合
4线序
……