|
gptkbp:instance_of
|
gptkb:Set
|
|
gptkbp:complement
|
Axiom of Choice
|
|
gptkbp:consists_of
|
axioms
|
|
gptkbp:developed_by
|
gptkb:Ernst_Zermelo
gptkb:Abraham_Fraenkel
|
|
gptkbp:has_applications_in
|
gptkb:computer_science
gptkb:Physics
gptkb:philosophy
|
|
gptkbp:has_variants
|
ZF set theory
ZFC set theory
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Zermelo-Fraenkel set theory
|
|
gptkbp:includes
|
Axiom of Extensionality
Axiom of Pairing
Axiom of Union
Axiom of Regularity
Axiom of Infinity
Axiom of Power Set
Axiom of Replacement
|
|
gptkbp:is_a
|
theory of sets
|
|
gptkbp:is_a_foundation_for
|
modern mathematics
|
|
gptkbp:is_based_on
|
axiomatic foundations
|
|
gptkbp:is_considered_as
|
standard set theory
|
|
gptkbp:is_criticized_for
|
gptkb:constructivism
intuitionism
|
|
gptkbp:is_described_as
|
gptkb:lectures
gptkb:textbooks
academic papers
|
|
gptkbp:is_examined_in
|
foundations of mathematics
mathematical philosophy
|
|
gptkbp:is_expressed_in
|
gptkb:Logic
|
|
gptkbp:is_formalized_in
|
first-order logic
|
|
gptkbp:is_influenced_by
|
gptkb:Paul_Cohen
gptkb:David_Hilbert
gptkb:Georg_Cantor
gptkb:Kurt_Gödel
|
|
gptkbp:is_related_to
|
axiomatic set theory
Cantor's set theory
|
|
gptkbp:is_subject_to
|
gptkb:Russell's_paradox
set-theoretic paradoxes
Cantor's paradox
Zermelo's paradox
Burali-Forti paradox
|
|
gptkbp:is_supported_by
|
axioms of extensionality
axioms of choice
axioms of infinity
axioms of union
axioms of pairing
|
|
gptkbp:is_taught_in
|
mathematics courses
philosophy courses
logic courses
|
|
gptkbp:is_used_in
|
gptkb:Mathematics
gptkb:Logic
|
|
gptkbp:bfsParent
|
gptkb:Ernst_Zermelo
gptkb:Andrzej_Mostowski
|
|
gptkbp:bfsLayer
|
6
|