分类:公理集合论

公理集合论是朴素集合论遇到悖论后被公理化的分支。主要的公理化方式是 ZF 公理系统或加入选择公理的 ZFC 公理系统，也存在其他公理化方式。