|
gptkbp:instanceOf
|
gptkb:logic
|
|
gptkbp:assumes
|
gptkb:unrestricted_comprehension_axiom
|
|
gptkbp:basisFor
|
early set theory
|
|
gptkbp:book
|
gptkb:Naive_Set_Theory_by_Paul_Halmos
|
|
gptkbp:contrastsWith
|
gptkb:set_theory
|
|
gptkbp:criticizedFor
|
logical inconsistencies
|
|
gptkbp:describes
|
sets as collections of objects
|
|
gptkbp:developedBy
|
late 19th century
|
|
gptkbp:example
|
informal mathematics
|
|
gptkbp:field
|
gptkb:mathematics
gptkb:set_theory
|
|
gptkbp:hasNo
|
formal axioms
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Naive set theory
|
|
gptkbp:influenced
|
development of modern set theory
|
|
gptkbp:influencedBy
|
gptkb:Georg_Cantor
gptkb:Richard_Dedekind
|
|
gptkbp:notableParadox
|
gptkb:Russell's_paradox
gptkb:Burali-Forti_paradox
|
|
gptkbp:relatedTo
|
gptkb:logic
|
|
gptkbp:replacedBy
|
gptkb:Zermelo–Fraenkel_set_theory
gptkb:set_theory
|
|
gptkbp:studiedIn
|
foundations of mathematics
|
|
gptkbp:subject
|
paradoxes
|
|
gptkbp:usedBy
|
gptkb:Georg_Cantor
|
|
gptkbp:usedIn
|
elementary mathematics education
|
|
gptkbp:bfsParent
|
gptkb:Menge
|
|
gptkbp:bfsLayer
|
5
|