|
gptkbp:instanceOf
|
gptkb:set_theory
|
|
gptkbp:abbreviation
|
gptkb:ZFC
|
|
gptkbp:consistencyUnknown
|
true
|
|
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_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:von_Neumann_universe
|
|
gptkbp:isFirstOrderTheory
|
true
|
|
gptkbp:isFoundationFor
|
modern set theory
much of mathematics
|
|
gptkbp:isStandardFormulationOf
|
gptkb:set_theory
|
|
gptkbp:isUndecidable
|
true
|
|
gptkbp:namedAfter
|
gptkb:Ernst_Zermelo
gptkb:Thoralf_Skolem
gptkb:Abraham_Fraenkel
|
|
gptkbp:usedIn
|
gptkb:analysis
gptkb:combinatorics
gptkb:theoretical_computer_science
gptkb:algebra
gptkb:logic
gptkb:topology
gptkb:model_theory
gptkb:category_theory
gptkb:set-theoretic_topology
gptkb:descriptive_set_theory
formal systems
foundations of mathematics
mathematical education
number theory
proof theory
recursion theory
automated theorem proving
mathematical foundations
proof assistants
|
|
gptkbp:bfsParent
|
gptkb:NBG_set_theory
|
|
gptkbp:bfsLayer
|
7
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
ZFC for sets
|