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) 证明了策梅洛-弗兰克尔集合论不是有限可公理化的，即，没有有限的公理集在逻辑上等价于无限的策梅洛-弗兰克尔公理集。相比之下，冯·诺伊曼-伯奈斯-哥德尔集合论只有有限多个公理，这是其构建的主要动机。这是通过扩展策梅洛-弗兰克尔集合论的语言以使其能够讨论集合类来实现的。