gptkbp:instanceOf
|
gptkb:logic
|
gptkbp:assumes
|
sets can be freely formed
|
gptkbp:author
|
gptkb:Paul_Halmos
|
gptkbp:basisFor
|
early set theory
|
gptkbp:characterizedBy
|
informal reasoning about sets
|
gptkbp:contrastsWith
|
gptkb:set_theory
|
gptkbp:describedBy
|
gptkb:Naive_Set_Theory_(book)
|
gptkbp:developedBy
|
late 19th century
|
gptkbp:field
|
gptkb:set_theory
|
gptkbp:hasConcept
|
gptkb:Venn_diagram
gptkb:De_Morgan's_laws
gptkb:intersection
cardinality
Union
infinite sets
power set
bijection
cardinal numbers
injection
ordinal numbers
partitions
real numbers
inclusion
natural numbers
difference
functions
relations
finite sets
Cartesian product
complement
empty set
subset
universal set
well-ordering
surjection
equivalence relations
countable sets
uncountable sets
infinite cardinalities
ordered pairs
set membership
symmetric difference
|
gptkbp:hasNo
|
formal axioms
|
https://www.w3.org/2000/01/rdf-schema#label
|
naive set theory
|
gptkbp:notableParadox
|
gptkb:Russell's_paradox
gptkb:Burali-Forti_paradox
|
gptkbp:replacedBy
|
gptkb:set_theory
gptkb:Zermelo-Fraenkel_set_theory
|
gptkbp:subject
|
paradoxes
|
gptkbp:usedBy
|
gptkb:Georg_Cantor
|
gptkbp:bfsParent
|
gptkb:Zermelo-Fraenkel_set_theory
gptkb:Set_Theory
gptkb:Set_theory
|
gptkbp:bfsLayer
|
5
|