|
gptkbp:instanceOf
|
gptkb:mathematical_concept
|
|
gptkbp:basisFor
|
gptkb:mathematics
|
|
gptkbp:developedBy
|
late 19th century
|
|
gptkbp:hasAxiom
|
gptkb:Zermelo–Fraenkel_axioms
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_axioms
|
|
gptkbp:hasConcept
|
gptkb:combinatorial_set_theory
gptkb:algebra
gptkb:list
gptkb:software
gptkb:Morse–Kelley_set_theory
gptkb:aleph_numbers
gptkb:Tarski–Grothendieck_set_theory
gptkb:category_theory
gptkb:New_Foundations
gptkb:beth_numbers
gptkb:cardinal_arithmetic
gptkb:constructible_universe
gptkb:Grothendieck_universe
gptkb:descriptive_set_theory
gptkb:Mostowski_collapse
gptkb:Quine's_set_theory
gptkb:Scott's_trick
equivalence relation
forcing
sigma-algebra
ordinal arithmetic
partition
cumulative hierarchy
filter
topos theory
large cardinal
measurable cardinal
multiset
transfinite induction
ultrafilter
Cartesian product
finite set
ordered pair
family of sets
hereditarily finite set
inaccessible cardinal
infinite set
model of set theory
relation
well-ordering
non-well-founded set theory
antifoundation axiom
category of sets
constructivist set theory
countable set
elementary embedding
fuzzy set
inner model
intuitionistic set theory
measurable set
projective set
transfinite recursion
uncountable set
well-founded relation
|
|
gptkbp:hasParadox
|
gptkb:Russell's_paradox
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Set theory
|
|
gptkbp:includes
|
gptkb:Russell's_paradox
gptkb:Zermelo–Fraenkel_set_theory
gptkb:set_theory
gptkb:von_Neumann–Bernays–Gödel_set_theory
gptkb:Cantor's_theorem
gptkb:Axiom_of_Choice
gptkb:Continuum_Hypothesis
gptkb:intersection
gptkb:naive_set_theory
cardinality
Union
power set
ordinal numbers
complement
empty set
subset
universal set
|
|
gptkbp:numberOfIssues
|
gptkb:Continuum_Hypothesis
gptkb:Independence_of_the_Axiom_of_Choice
gptkb:Large_cardinal_hypotheses
|
|
gptkbp:originatedIn
|
gptkb:Georg_Cantor
|
|
gptkbp:studies
|
sets
operations on sets
relations between sets
|
|
gptkbp:usedIn
|
gptkb:algebra
gptkb:logic
gptkb:topology
analysis
computer science
|
|
gptkbp:bfsParent
|
gptkb:logic
|
|
gptkbp:bfsLayer
|
4
|