|
gptkbp:instanceOf
|
gptkb:mathematical_concept
|
|
gptkbp:concerns
|
cardinality of infinite sets
|
|
gptkbp:firstProblemOf
|
gptkb:Hilbert's_problems
|
|
gptkbp:formedBy
|
gptkb:Georg_Cantor
1878
|
|
gptkbp:implies
|
cardinality of the continuum is aleph-one
|
|
gptkbp:independenceDate
|
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_(ZFC)
|
|
gptkbp:independenceProvedBy
|
gptkb:Kurt_Gödel
gptkb:Paul_Cohen
|
|
gptkbp:independenceProvedInYear
|
1940
1963
|
|
gptkbp:influenced
|
development of modern set theory
|
|
gptkbp:negationImplies
|
existence of intermediate cardinalities
|
|
gptkbp:publishedIn
|
gptkb:Mathematische_Annalen
|
|
gptkbp:relatedTo
|
gptkb:set_theory
gptkb:aleph_numbers
cardinal numbers
|
|
gptkbp:state
|
There is no set whose cardinality is strictly between that of the integers and the real numbers
|
|
gptkbp:statusInZFC
|
undecidable
|
|
gptkbp:symbol
|
CH
|
|
gptkbp:bfsParent
|
gptkb:ZFC
gptkb:Zermelo-Fraenkel_set_theory_with_the_axiom_of_choice_(ZFC)
gptkb:ZFC_(with_choice)
gptkb:Set_theory
|
|
gptkbp:bfsLayer
|
6
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Continuum Hypothesis
|