|
gptkbp:instanceOf
|
gptkb:mathematical_concept
|
|
gptkbp:dealsWith
|
collections of objects
|
|
gptkbp:founder
|
gptkb:Georg_Cantor
|
|
gptkbp:hasApplication
|
gptkb:analysis
gptkb:algebra
gptkb:topology
gptkb:category_theory
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:cardinality
gptkb:partial_order
gptkb:Venn_diagram
gptkb:aleph_numbers
gptkb:element
gptkb:constructible_universe
gptkb:intersection
gptkb:ultrafilter
gptkb:model_of_set_theory
gptkb:Union
gptkb:filter
gptkb:ordinal_number
equivalence relation
forcing
power set
proper class
cardinal number
cumulative hierarchy
limit ordinal
total order
independence proofs
measurable cardinal
transfinite induction
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
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
|
|
gptkbp:studies
|
sets
|
|
gptkbp:usedIn
|
gptkb:logic
foundations of mathematics
|
|
gptkbp:bfsParent
|
gptkb:Grace_Chisholm_Young
|
|
gptkbp:bfsLayer
|
4
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Set Theory
|