Zermelo–Fraenkel set theory with choice

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:set_theory
gptkbp:abbreviation	gptkb:ZFC
gptkbp:field	gptkb:logic gptkb:set_theory
gptkbp:formedBy	early 20th century
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_Separation gptkb:Axiom_of_Union
https://www.w3.org/2000/01/rdf-schema#label	Zermelo–Fraenkel set theory with choice
gptkbp:isConsistentWith	gptkb:Axiom_of_Choice
gptkbp:isFoundationFor	modern mathematics
gptkbp:isStandardFormulationOf	gptkb:set_theory
gptkbp:isWeakerThan	gptkb:Zermelo–Fraenkel_set_theory
gptkbp:namedAfter	gptkb:Ernst_Zermelo gptkb:Abraham_Fraenkel
gptkbp:relatedTo	gptkb:Banach–Tarski_paradox gptkb:Gödel's_incompleteness_theorems gptkb:Russell's_paradox gptkb:Peano_arithmetic gptkb:Continuum_Hypothesis gptkb:New_Foundations gptkb:Von_Neumann–Bernays–Gödel_set_theory gptkb:axiom_of_determinacy gptkb:constructible_universe gptkb:large_cardinal_axioms gptkb:axiom_of_foundation gptkb:well-ordering_theorem gptkb:axiom_of_regularity forcing axiom schema axiom of constructibility
gptkbp:usedIn	gptkb:algebra gptkb:logic gptkb:topology gptkb:category_theory analysis computer science foundations of mathematics model theory number theory combinatorics
gptkbp:bfsParent	gptkb:Zermelo–Fraenkel_axioms
gptkbp:bfsLayer	6