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