如果策梅洛-弗兰克尔集合论的公理 6 被替换为以下公理，则得到的集合论版本
6'. 选择公理（或“子集公理”）：对于任何集合论公式 
, 
,
这可以从公理 6 推导出来。然而，关于策梅洛-弗兰克尔集合论的哪些公理构成“策梅洛集合论”，文献中似乎存在一些分歧。 Mendelson (1997) 在策梅洛集合论中不包括选择公理、基础公理、替换公理，但包括 6'。然而，Enderton (1977) 包括选择公理和基础公理，但不包括替换公理或选择公理。
策梅洛集合论
另请参阅
集合论, 策梅洛-弗兰克尔集合论使用 Wolfram|Alpha 探索
参考文献
Enderton, H. B. 集合论要素。 New York: Academic Press, 1977.Mendelson, E. 数理逻辑导论，第 4 版。 London: Chapman & Hall, 1997.Iyanaga, S. and Kawada, Y. (Eds.). "策梅洛-弗兰克尔集合论。" §35B in 数学百科辞典。 Cambridge, MA: MIT Press, p. 135, 1980.Zermelo, E. "Über Grenzzahlen und Mengenbereiche." Fund. Math. 16, 29-47, 1930.在 Wolfram|Alpha 中被引用
策梅洛集合论引用为
韦斯坦, 埃里克·W. “策梅洛集合论。” 来自 MathWorld——Wolfram 网络资源。 https://mathworld.net.cn/ZermeloSetTheory.html