|
gptkbp:instanceOf
|
gptkb:set_theory
|
|
gptkbp:abbreviation
|
gptkb:von_Neumann–Bernays–Gödel_set_theory
|
|
gptkbp:allows
|
proper classes
|
|
gptkbp:distinctiveFeature
|
proper classes
sets
|
|
gptkbp:equiconsistentWith
|
gptkb:Zermelo–Fraenkel_set_theory
|
|
gptkbp:extendsTo
|
gptkb:Zermelo–Fraenkel_set_theory
|
|
gptkbp:formedBy
|
1930s
|
|
gptkbp:fullName
|
gptkb:von_Neumann–Bernays–Gödel_set_theory
|
|
gptkbp:hasAxiom
|
gptkb:Axiom_of_Choice
gptkb:Axiom_of_Extensionality
gptkb:Axiom_of_Infinity
gptkb:Axiom_of_Pairing
gptkb:Axiom_of_Regularity
gptkb:Axiom_of_Replacement
gptkb:Axiom_of_Union
gptkb:Axiom_of_Class_Comprehension
|
|
gptkbp:hasModel
|
gptkb:von_Neumann_universe
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
NBG (set theory)
|
|
gptkbp:isConservativeExtensionOf
|
gptkb:Zermelo–Fraenkel_set_theory
|
|
gptkbp:isWeakerThan
|
gptkb:Morse–Kelley_set_theory
gptkb:Zermelo_set_theory
|
|
gptkbp:namedAfter
|
gptkb:John_von_Neumann
gptkb:Kurt_Gödel
gptkb:Paul_Bernays
|
|
gptkbp:usedBy
|
gptkb:mathematician
set theorists
logicians
|
|
gptkbp:usedIn
|
gptkb:logic
foundations of mathematics
|
|
gptkbp:bfsParent
|
gptkb:NBG
|
|
gptkbp:bfsLayer
|
6
|