ZFC (with Axiom of Choice)

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:set_theory
gptkbp:abbreviation	gptkb:ZFC
gptkbp:field	gptkb:mathematics gptkb:set_theory
gptkbp:formedBy	early 20th century
gptkbp:fullName	gptkb:Zermelo–Fraenkel_set_theory_with_the_Axiom_of_Choice
gptkbp:hasAxiom	gptkb:Axiom_of_Choice gptkb:Axiom_of_Empty_Set 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	ZFC (with Axiom of Choice)
gptkbp:isConsistentWith	gptkb:Axiom_of_Choice
gptkbp:isFoundationFor	modern set theory much of mathematics
gptkbp:isStandardFormulationOf	gptkb:set_theory
gptkbp:isWeakerThan	gptkb:ZF_(Zermelo–Fraenkel_set_theory_without_Choice)
gptkbp:namedAfter	gptkb:Ernst_Zermelo gptkb:Abraham_Fraenkel
gptkbp:usedIn	gptkb:algebra gptkb:logic gptkb:probability_theory gptkb:topology gptkb:category_theory gptkb:cardinal_arithmetic gptkb:constructible_universe gptkb:set-theoretic_topology gptkb:descriptive_set_theory abstract algebra analysis foundations of mathematics functional analysis measure theory model theory number theory proof theory recursion theory combinatorics mathematical foundations real analysis ordinal analysis independence proofs inner model theory large cardinal theory mathematical logic research set-theoretic forcing
gptkbp:bfsParent	gptkb:Zermelo–Fraenkel_set_theory
gptkbp:bfsLayer	5