查看“︁ZFC 公理系统”︁的源代码

[[分类:公理集合论]]
[[分类:以 E. Zermelo 命名]]
[[分类:以 A. Fraenkel 命名]]
{{InfoBox
|name=ZFC公理系统
|eng_name=ZFC set theory
|aliases=ZFC,ZFC公理体系
}}
'''ZFC 公理系统'''('''ZFC set theory''')，简称 '''ZFC''' ，指为避免 Russell 悖论而对[[:分类:朴素集合论|集合论]]进行公理化的[[:分类:公理集合论|公理系统]]之一。其中包含 8 条公理的版本称为 [[ZF 公理系统]]，而包含[[选择公理]]或其他等价公理的则称为 ZFC 公理系统。