NBG公理系统

在数学基础中，冯·诺伊曼-博内斯-哥德尔集合论（von Neumann–Bernays–Gödel Set Theory，NBG）是设计生成同Zermelo-Fraenkel 集合论与选择公理一起(ZFC)同样结果的集合论公理系统，但只有有限数目的公理而不使用公理模式。首先由冯·诺伊曼在1920年代公式化，在1937年开始由保罗·博内斯修改，在1940年由哥德尔进一步简化。