馮諾伊曼博內斯哥德爾集合論

在數學基礎中 ， 馮 · 諾伊曼 - 博內斯 - 哥德爾集合論  是設計生成同Zermelo - Fraenkel 集合論與選擇公理一起 （ ZFC ） 同樣結果的集合論公理系統 ， 但只有有限數目的公理 ， 即是不使用公理模式 。 NBG首先由馮 · 諾伊曼在1920年代提出 ， 從1937年開始由作修改 ， 在1940年由哥德爾進一步簡化 。 不像ZFC ， NBG只有有限多個公理 。 Richard Montague在1961年證明 ， 不可能找到在邏輯上等價於ZFC的有限數目的公理 ； 因此NBG的語言有能力談論真類同談論集合一樣 ， 並且關於集合的陳述在NBG中是可證明的 ， 當且僅當它在ZFC中是可證明的 （ 就是說NBG是ZFC的保守擴展 ） 。