一種 集合論 的版本，它是一個用一階謂詞 邏輯 表示的形式系統。策梅洛-弗蘭克爾集合論基於 策梅洛-弗蘭克爾公理。
策梅洛-弗蘭克爾集合論不是有限公理化的。例如，替換公理 實際上不是單個公理，而是一個無限的公理族，因為它前面規定它對“任何集合論公式 
”都成立。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.tw/Zermelo-FraenkelSetTheory.html