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