ZFC (with choice)

GPTKB entity

Statements (51)
Predicate Object
gptkbp:instanceOf gptkb:set_theory
gptkbp:abbreviation gptkb:ZFC
gptkbp:allows mathematical community
gptkbp:basisFor gptkb:algebra
gptkb:geometry
gptkb:logic
gptkb:topology
gptkb:category_theory
gptkb:set-theoretic_topology
analysis
functional analysis
measure theory
model theory
number theory
combinatorics
mathematical foundations
mathematical logic research
gptkbp:distinctFrom gptkb:ZF_(Zermelo–Fraenkel_set_theory_without_choice)
gptkbp:field gptkb:mathematics
gptkbp:formedBy early 20th century
gptkbp:fullName gptkb:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice
gptkbp:hasAxiom gptkb:set_theory
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
gptkbp:hasModel gptkb:constructible_universe_(L)
cumulative hierarchy
gptkbp:hasSubgroup gptkb:Zermelo–Fraenkel_set_theory_(ZF)
https://www.w3.org/2000/01/rdf-schema#label ZFC (with choice)
gptkbp:isConsistentIf ZFC is consistent if and only if no contradiction can be derived from its axioms
gptkbp:isFoundationFor most of modern mathematics
gptkbp:isIncomplete true
gptkbp:isUndecidable true
gptkbp:proposedBy gptkb:Ernst_Zermelo
gptkb:Thoralf_Skolem
gptkb:Abraham_Fraenkel
gptkbp:relatedTo gptkb:Gödel's_incompleteness_theorems
gptkb:Morse–Kelley_set_theory
gptkb:Continuum_Hypothesis
gptkb:Von_Neumann–Bernays–Gödel_set_theory
gptkb:Axiom_of_Determinacy
gptkbp:usedIn gptkb:set_theory
foundations of mathematics
gptkbp:bfsParent gptkb:Zermelo–Fraenkel_set_theory
gptkbp:bfsLayer 5