Neumann-Bernays-Godel集合理论

第二个集合理论的公理化(看到的Neumann-Bernays-Godel axiomsNeumann-Bernays-Godel公理。

…现在被称为冯Neumann-Bernays-Godel集合理论,或NBG。ZF很快就被证明是能够产生的皮亚诺methods-e.g假设几个选择。,通过识别自然数与某些集,如0与空集(Ø),1单空设置组包含…

数学家利用Neumann-Godel-Bernays集理论,区分小集和大类,而逻辑学家首选的一种本质上相当于一阶语言,Zermelo-Fraenkel公理,允许一个新建集只给老集的子集。还应提及的系统…

…冯诺依曼逻辑和集合论;这些修改是逻辑学家库尔特·哥德尔的进一步发展。