AI-created image
Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematics
|
| gptkbp:appliesTo |
infinite sets
|
| gptkbp:basisFor |
the concept of uncountable sets
|
| gptkbp:contrastsWith |
countability of natural numbers
|
| gptkbp:demonstrates |
uncountability of the real numbers
|
| gptkbp:formedBy |
gptkb:Georg_Cantor
1891 |
| gptkbp:influenced |
the development of modern mathematics
|
| gptkbp:inspiredBy |
diagonalization arguments in computability theory
|
| gptkbp:method |
proof by contradiction
|
| gptkbp:publishedIn |
gptkb:Mathematische_Annalen
|
| gptkbp:relatedTo |
gptkb:continuum_hypothesis
gptkb:cardinality gptkb:Cantor's_theorem power set |
| gptkbp:shows |
the set of real numbers is not countable
|
| gptkbp:usedIn |
gptkb:set_theory
|
| gptkbp:uses |
existence of different sizes of infinity
the real numbers are uncountable the set of all infinite binary sequences is uncountable |
| gptkbp:bfsParent |
gptkb:Georg_Cantor
|
| gptkbp:bfsLayer |
4
|
| https://www.w3.org/2000/01/rdf-schema#label |
Cantor's diagonal argument
|