Bernays–Kuratowski–von Neumann set theory

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:set_theory
gptkbp:allowsProperClasses	true
gptkbp:alsoKnownAs	gptkb:von_Neumann–Bernays–Gödel_set_theory gptkb:NBG_set_theory
gptkbp:basisFor	gptkb:category_theory
gptkbp:contrastsWith	gptkb:Zermelo–Fraenkel_set_theory gptkb:Morse–Kelley_set_theory
gptkbp:developedBy	gptkb:Kurt_Gödel gptkb:Paul_Bernays
gptkbp:distinctiveFeature	classes sets
gptkbp:formedBy	gptkb:John_von_Neumann gptkb:Kazimierz_Kuratowski gptkb:Kurt_Gödel gptkb:Paul_Bernays
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	cumulative hierarchy
https://www.w3.org/2000/01/rdf-schema#label	Bernays–Kuratowski–von Neumann set theory
gptkbp:influenced	gptkb:Morse–Kelley_set_theory gptkb:category_theory
gptkbp:isConservativeExtensionOf	gptkb:Zermelo–Fraenkel_set_theory
gptkbp:language	gptkb:first-order_logic
gptkbp:namedAfter	gptkb:John_von_Neumann gptkb:Kazimierz_Kuratowski gptkb:Paul_Bernays
gptkbp:publishedIn	1920s
gptkbp:subjectOf	gptkb:logic
gptkbp:type	gptkb:set_theory
gptkbp:usedIn	foundations of mathematics
gptkbp:bfsParent	gptkb:BKP_set_theory
gptkbp:bfsLayer	8