冯·诺伊曼-博内斯-哥德尔集合论
维基百科,自由的 encyclopedia
冯·诺伊曼-博内斯-哥德尔集合论(英语:von Neumann–Bernays–Gödel Set Theory,NBG)是种以类为直观动机的一阶公理化集合论,它是配上选择公理的策梅洛-弗兰克尔集合论(英语:Zermelo-Fraenkel Set Theory with the axiom of Choice,ZFC)的保守扩展(ZFC里可以证明的定理也都是NBG的定理)[1],而且NBG仅需在一阶逻辑基本的公理模式上添加有限数目的公理,但ZFC需添加与集合有关的公理模式[2]。
NBG首先由冯·诺伊曼在1920年代提出,从1937年开始由保罗·博内斯(英语:Paul Bernays)作修改,在1940年由哥德尔进一步简化。