集合论公理系统
- 网络axiom systems for set theory; ZFC
集合论公理系统集合论公理系统
axiom systems for set theory
... God defends the right. 上帝维护公理。 axiom systems for set theory 集合论公理系统 To change the order of. 改变次序 ...
ZFC
...；希尔伯特几何公理系统；策墨罗、弗兰克尔和斯科论的集合论公理系统(ZFC)，这些公理系统都不能在自己的系统内证明自 …