一种 集合论 的版本，它是一个用一阶谓词 逻辑 表示的形式系统。策梅洛-弗兰克尔集合论基于 策梅洛-弗兰克尔公理。
策梅洛-弗兰克尔集合论不是有限公理化的。例如，替换公理 实际上不是单个公理，而是一个无限的公理族，因为它前面规定它对“任何集合论公式 
”都成立。Montague (1961) 证明了策梅洛-弗兰克尔集合论不是有限可公理化的，即，不存在逻辑上等价于无限集合 策梅洛-弗兰克尔公理 的有限公理集。冯·诺伊曼-博奈斯-哥德尔集合论 提供了一个等价的有限公理化系统。
策梅洛-弗兰克尔集合论
另请参阅
逻辑, 集合论, 冯·诺伊曼-博奈斯-哥德尔集合论, 策梅洛-弗兰克尔公理, 策梅洛集合论使用 探索
参考文献
Montague, R. "Semantic Closure and Non-Finite Axiomatizability. I." In Infinitistic Methods, Proceedings of the Symposium on Foundations of Mathematics, (Warsaw, 2-9 September 1959). Oxford, England: Pergamon, pp. 45-69, 1961.Zermelo, E. "Über Grenzzahlen und Mengenbereiche." Fund. Math. 16, 29-47, 1930.在 上被引用
策梅洛-弗兰克尔集合论以此引用
Weisstein, Eric W. "策梅洛-弗兰克尔集合论。" 来自 Web 资源。 https://mathworld.net.cn/Zermelo-FraenkelSetTheory.html