|
gptkbp:instanceOf
|
gptkb:logic
|
|
gptkbp:basisFor
|
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:Burali-Forti_paradox
gptkb:category_theory
gptkb:constructible_universe
gptkb:set-theoretic_topology
gptkb:descriptive_set_theory
gptkb:well-ordering_theorem
analysis
axiom of choice
computer science
discrete mathematics
formal systems
measure theory
model theory
modern mathematics
number theory
proof theory
recursion theory
transfinite numbers
combinatorics
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
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Classical set theory
|
|
gptkbp:includes
|
gptkb:Zermelo–Fraenkel_set_theory
gptkb:set_theory
gptkb:naive_set_theory
|
|
gptkbp:studies
|
gptkb:professional_association
gptkb:intersection
cardinality
Union
power set
functions
relations
complement
subset
ordered pairs
|
|
gptkbp:bfsParent
|
gptkb:Fuzzy_sets
gptkb:Fuzzy_set_theory
|
|
gptkbp:bfsLayer
|
8
|