Classical Set Theory

GPTKB entity

Statements (21)
Predicate Object
gptkbp:instanceOf gptkb:logic
gptkbp:basisFor modern mathematics
gptkbp:contrastsWith gptkb:fuzzy_set_theory
intuitionistic set theory
non-classical set theories
gptkbp:developedBy gptkb:Georg_Cantor
gptkbp:field gptkb:set_theory
gptkbp:focusesOn relations between sets
properties of sets
https://www.w3.org/2000/01/rdf-schema#label Classical Set Theory
gptkbp:includes gptkb:Axiom_of_Choice
gptkb:Zermelo-Fraenkel_set_theory
gptkb:naive_set_theory
gptkbp:studies cardinality
infinite sets
ordinal numbers
set operations
gptkbp:usedIn gptkb:logic
foundations of mathematics
gptkbp:bfsParent gptkb:Fuzzy_Set_Theory
gptkbp:bfsLayer 6