NBG axioms

URI: https://gptkb.org/entity/NBG_axioms

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:set_theory axiom system
gptkbp:distinctiveFeature	proper classes sets
gptkbp:formedBy	gptkb:first-order_logic 1930s
gptkbp:hasAxiom	gptkb:Axiom_of_Choice gptkb:Axiom_of_Extensionality gptkb:Axiom_of_Infinity gptkb:Axiom_of_Pairing gptkb:Axiom_of_Power_Set gptkb:Axiom_of_Regularity gptkb:Axiom_of_Replacement gptkb:Axiom_of_Union gptkb:Axiom_of_Class_Comprehension
https://www.w3.org/2000/01/rdf-schema#label	NBG axioms
gptkbp:isEquiconsistentWith	gptkb:Zermelo–Fraenkel_set_theory
gptkbp:isWeakerThan	gptkb:Zermelo_set_theory
gptkbp:namedAfter	gptkb:John_von_Neumann gptkb:Kurt_Gödel gptkb:Paul_Bernays
gptkbp:relatedTo	gptkb:Zermelo–Fraenkel_set_theory
gptkbp:usedFor	foundations of mathematics
gptkbp:usedIn	gptkb:von_Neumann–Bernays–Gödel_set_theory
gptkbp:bfsParent	gptkb:von_Neumann–Bernays–Gödel_axioms
gptkbp:bfsLayer	6