Itô, K. (Ed.). "Bernays-Gödel Set Theory." §33C in 數學百科全書，第二版，第 1 卷。 Cambridge, MA: MIT Press, p. 148, 1986.Mendelson, E. 數理邏輯導論，第四版。 London: Chapman & Hall, 1997.Montague, R. "Semantic Closure and Non-Finite Axiomatizability. I." In 無窮方法，數學基礎研討會論文集，（華沙，1959 年 9 月 2-9 日）。 Oxford, England: Pergamon, pp. 45-69, 1961.
”都成立。Montague (1961) 證明了策梅洛-弗蘭克爾集合論不是有限可公理化的，即，沒有有限的公理集在邏輯上等價於無限的策梅洛-弗蘭克爾公理集。相比之下，馮·諾伊曼-伯奈斯-哥德爾集合論只有有限多個公理，這是其構建的主要動機。這是透過擴充套件策梅洛-弗蘭克爾集合論的語言以使其能夠討論集合類來實現的。