冯诺伊曼-博内斯-哥德尔集合论 冯诺伊曼博内斯哥德尔集合论英語von NeumannBernaysGödel Set TheoryNBG是種以类為直觀動機的一阶公理化集合论它是配上选择公理的策梅洛弗兰克尔集合论英語ZermeloFraenkel Set Theory with the axiom of ChoiceZFC的保守扩展ZFC裡可以證明的定理也都是NBG的定理而且NBG僅需在一階邏輯基本的公理模式上添加有限数目的公理但ZFC需添加與集合有關的公理模式 NBG首先由冯诺伊曼在年代提出從年开始由保罗博内斯英语Paul Bernays作修改在年由哥德尔进一步简化