查看“︁分类:公理集合论”︁的源代码

[[分类:朴素集合论]]

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

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