公理集合论（Axiomatic Set Theory）是数理逻辑的主要分支之一，是用公理化方法重建（朴素）集合论的研究以...
2020.8
与通常的公理集合论著作不同，本书在引入形式系统之前首先直观而又严谨地阐述了类、集合、序数,基数以及势...
1991.1