Properties (46)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
set theory
|
| gptkbp:developedBy |
gptkb:Ernst_Zermelo
gptkb:Abraham_Fraenkel |
| gptkbp:hasRelatedPatent |
theoretical computer science
mathematical foundations functional analysis measure theory set-theoretic topology |
| gptkbp:hasSpecialty |
consistency
completeness decidability expressiveness |
| https://www.w3.org/2000/01/rdf-schema#label |
Zermelo-Fraenkel set theory
|
| gptkbp:includes |
axiom of extensionality
axiom of infinity axiom of pairing axiom of power set axiom of regularity axiom of replacement axiom of union |
| gptkbp:isA |
axiomatic system
foundational system for mathematics |
| gptkbp:isCriticizedFor |
infinite sets
intuitionistic logic constructivism paradoxes in set theory incompleteness theorems non-constructive existence proofs reliance on the axiom of choice |
| gptkbp:isExemplifiedBy |
gptkb:Zermelo-Fraenkel_set_theory_with_choice_(ZFC)
|
| gptkbp:isRelatedTo |
gptkb:Cantor's_set_theory
axiomatic set theory |
| gptkbp:isTaughtIn |
computer science courses
mathematics courses philosophy courses logic courses foundations of mathematics courses |
| gptkbp:isUsedIn |
computer science
set theory mathematical logic philosophy of mathematics |
| gptkbp:isUtilizedFor |
abstract algebra
category theory topology real analysis |
| gptkbp:isUtilizedIn |
first-order logic
|