分类:公理集合论

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

由于本 wiki 不涉及太复杂的情况，没有单独的集合论分类挂载公理集合论和朴素集合论，将这个分类挂载到朴素集合论下。