|
gptkbp:instanceOf
|
gptkb:mathematical_concept
Branch of mathematics
|
|
gptkbp:developedBy
|
gptkb:Georg_Cantor
|
|
gptkbp:hasConcept
|
gptkb:Russell's_paradox
gptkb:Zermelo–Fraenkel_set_theory
gptkb:waterfall
gptkb:Axiomatic_set_theory
gptkb:Naive_set_theory
gptkb:intersection
gptkb:Axiom_of_choice
Union
Set
Power set
Cardinality
Cartesian product
Complement
Empty set
Function
Ordered pair
Relation
Subset
Universal set
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Mengenlehre
|
|
gptkbp:introducedIn
|
Late 19th century
|
|
gptkbp:language
|
gptkb:German
|
|
gptkbp:notableFigure
|
gptkb:Bertrand_Russell
gptkb:Ernst_Zermelo
gptkb:John_von_Neumann
gptkb:Richard_Dedekind
gptkb:Abraham_Fraenkel
|
|
gptkbp:relatedConcept
|
gptkb:Continuum_hypothesis
gptkb:algebra
gptkb:logic
gptkb:Venn_diagram
gptkb:Well-ordering_theorem
Infinity
Model theory
Category theory
Cardinal number
Constructible universe
Descriptive set theory
Forcing
Large cardinal
Ordinal number
Transfinite number
|
|
gptkbp:usedIn
|
gptkb:algebra
gptkb:logic
gptkb:Topology
gptkb:Foundations_of_mathematics
Analysis
|
|
gptkbp:英文名
|
gptkb:Set_theory
|
|
gptkbp:bfsParent
|
gptkb:Felix_Hausdorff
|
|
gptkbp:bfsLayer
|
5
|