|
gptkbp:instanceOf
|
gptkb:mathematical_concept
|
|
gptkbp:dealsWith
|
collections of objects
|
|
gptkbp:founder
|
gptkb:Georg_Cantor
|
|
gptkbp:hasApplication
|
gptkb:algebra
gptkb:topology
gptkb:category_theory
analysis
computer science
|
|
gptkbp:hasAxiom
|
gptkb:Zermelo–Fraenkel_axioms
gptkb:Morse–Kelley_set_theory
gptkb:NBG
gptkb:ZFC
gptkb:Axiom_of_Choice
gptkb:Axiom_of_Extensionality
gptkb:Axiom_of_Infinity
gptkb:Axiom_of_Pairing
gptkb:Axiom_of_Power_Set
gptkb:Axiom_of_Regularity
gptkb:Axiom_of_Replacement
gptkb:Axiom_of_Union
gptkb:Von_Neumann–Bernays–Gödel_set_theory
gptkb:Axiom_of_Foundation
|
|
gptkbp:hasConcept
|
gptkb:algebra
gptkb:continuum_hypothesis
gptkb:software
gptkb:Venn_diagram
gptkb:aleph_numbers
gptkb:constructible_universe
gptkb:intersection
cardinality
equivalence relation
Union
forcing
power set
partial order
proper class
element
cardinal number
cumulative hierarchy
filter
limit ordinal
ordinal number
total order
independence proofs
measurable cardinal
transfinite induction
ultrafilter
Cartesian product
complement
finite set
ordered pair
choice axiom
difference of sets
disjoint sets
empty set
extensionality axiom
family of sets
foundation axiom
hereditarily finite set
inaccessible cardinal
infinite set
infinity axiom
intersection over a family
membership relation
model of set theory
pairing axiom
partition of a set
power set axiom
proper subset
relation
replacement axiom
singleton set
subset
subset relation
successor ordinal
superset
transitive set
union axiom
union over a family
universal set
well-ordering
|
|
gptkbp:hasParadox
|
gptkb:Cantor's_paradox
gptkb:Russell's_paradox
gptkb:Burali-Forti_paradox
|
|
gptkbp:hasSubfield
|
gptkb:combinatorial_set_theory
gptkb:set_theory
gptkb:descriptive_set_theory
gptkb:fuzzy_set_theory
gptkb:naive_set_theory
forcing
large cardinals
inner model theory
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Set Theory
|
|
gptkbp:studies
|
sets
|
|
gptkbp:usedIn
|
gptkb:logic
foundations of mathematics
|
|
gptkbp:bfsParent
|
gptkb:set_theory
gptkb:Grace_Chisholm_Young
|
|
gptkbp:bfsLayer
|
4
|