|
gptkbp:instanceOf
|
gptkb:logic
|
|
gptkbp:basisFor
|
gptkb:analysis
gptkb:combinatorics
gptkb:Banach–Tarski_paradox
gptkb:Cantor's_paradox
gptkb:Russell's_paradox
gptkb:algebra
gptkb:artificial_intelligence
gptkb:continuum_hypothesis
gptkb:information_theory
gptkb:logic
gptkb:probability_theory
gptkb:topology
gptkb:model_theory
gptkb:Burali-Forti_paradox
gptkb:category_theory
gptkb:constructible_universe
gptkb:set-theoretic_topology
gptkb:descriptive_set_theory
gptkb:well-ordering_theorem
axiom of choice
computer science
discrete mathematics
formal systems
measure theory
modern mathematics
number theory
proof theory
recursion theory
transfinite numbers
forcing
graph theory
cardinal numbers
mathematical foundations
ordinal numbers
large cardinal theory
mathematical structures
set-theoretic paradoxes
|
|
gptkbp:contrastsWith
|
gptkb:fuzzy_set_theory
rough set theory
intuitionistic set theory
|
|
gptkbp:developedBy
|
gptkb:Georg_Cantor
|
|
gptkbp:field
|
gptkb:mathematics
|
|
gptkbp:focusesOn
|
sets
|
|
gptkbp:includes
|
gptkb:Zermelo–Fraenkel_set_theory
gptkb:set_theory
gptkb:naive_set_theory
|
|
gptkbp:studies
|
gptkb:professional_association
gptkb:cardinality
gptkb:intersection
gptkb:Union
power set
functions
relations
complement
subset
ordered pairs
|
|
gptkbp:bfsParent
|
gptkb:Fuzzy_sets
|
|
gptkbp:bfsLayer
|
8
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Classical set theory
|