如果策梅洛-弗蘭克爾集合論的公理 6 被替換為以下公理，則得到的集合論版本
6'. 選擇公理（或“子集公理”）：對於任何集合論公式 
, 
,
這可以從公理 6 推匯出來。然而，關於策梅洛-弗蘭克爾集合論的哪些公理構成“策梅洛集合論”，文獻中似乎存在一些分歧。 Mendelson (1997) 在策梅洛集合論中不包括選擇公理、基礎公理、替換公理，但包括 6'。然而，Enderton (1977) 包括選擇公理和基礎公理，但不包括替換公理或選擇公理。
策梅洛集合論
另請參閱
集合論, 策梅洛-弗蘭克爾集合論使用 探索
參考文獻
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.在 中被引用
策梅洛集合論引用為
韋斯坦, 埃裡克·W. “策梅洛集合論。” 來自 ——Wolfram 網路資源。 https://mathworld.tw/ZermeloSetTheory.html