Le théorème de Cantor est un théorème mathématique, dans le domaine de la théorie des ensembles. Il énonce que le cardinal d'un ensemble E est toujours strictement inférieur au cardinal de l'ensemble de ses parties P(E), c'est-à-dire essentiellement qu'il n'existe pas de bijection entre E et P(E). Combiné avec l'axiome de l'ensemble des parties et l'axiome de l'infini de la théorie des ensembles usuelle, ce théorème implique qu'il existe une hiérarchie infinie d'ensembles infinis en termes de cardinalité.

Property Value
dbo:abstract
  • Le théorème de Cantor est un théorème mathématique, dans le domaine de la théorie des ensembles. Il énonce que le cardinal d'un ensemble E est toujours strictement inférieur au cardinal de l'ensemble de ses parties P(E), c'est-à-dire essentiellement qu'il n'existe pas de bijection entre E et P(E). Combiné avec l'axiome de l'ensemble des parties et l'axiome de l'infini de la théorie des ensembles usuelle, ce théorème implique qu'il existe une hiérarchie infinie d'ensembles infinis en termes de cardinalité. Le théorème a été démontré en 1891 par Georg Cantor à l'aide d'un raisonnement astucieux mais simple, l'argument diagonal. (fr)
  • Le théorème de Cantor est un théorème mathématique, dans le domaine de la théorie des ensembles. Il énonce que le cardinal d'un ensemble E est toujours strictement inférieur au cardinal de l'ensemble de ses parties P(E), c'est-à-dire essentiellement qu'il n'existe pas de bijection entre E et P(E). Combiné avec l'axiome de l'ensemble des parties et l'axiome de l'infini de la théorie des ensembles usuelle, ce théorème implique qu'il existe une hiérarchie infinie d'ensembles infinis en termes de cardinalité. Le théorème a été démontré en 1891 par Georg Cantor à l'aide d'un raisonnement astucieux mais simple, l'argument diagonal. (fr)
dbo:namedAfter
dbo:wikiPageID
  • 288450 (xsd:integer)
dbo:wikiPageLength
  • 9183 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 190073446 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • Le théorème de Cantor est un théorème mathématique, dans le domaine de la théorie des ensembles. Il énonce que le cardinal d'un ensemble E est toujours strictement inférieur au cardinal de l'ensemble de ses parties P(E), c'est-à-dire essentiellement qu'il n'existe pas de bijection entre E et P(E). Combiné avec l'axiome de l'ensemble des parties et l'axiome de l'infini de la théorie des ensembles usuelle, ce théorème implique qu'il existe une hiérarchie infinie d'ensembles infinis en termes de cardinalité. (fr)
  • Le théorème de Cantor est un théorème mathématique, dans le domaine de la théorie des ensembles. Il énonce que le cardinal d'un ensemble E est toujours strictement inférieur au cardinal de l'ensemble de ses parties P(E), c'est-à-dire essentiellement qu'il n'existe pas de bijection entre E et P(E). Combiné avec l'axiome de l'ensemble des parties et l'axiome de l'infini de la théorie des ensembles usuelle, ce théorème implique qu'il existe une hiérarchie infinie d'ensembles infinis en termes de cardinalité. (fr)
rdfs:label
  • Satz von Cantor (de)
  • Stelling van Cantor (nl)
  • Teorema de Cantor (ca)
  • Teorema de Cantor (es)
  • Teorema di Cantor (it)
  • Théorème de Cantor (fr)
  • Теорема Кантора (uk)
  • カントールの定理 (ja)
  • Satz von Cantor (de)
  • Stelling van Cantor (nl)
  • Teorema de Cantor (ca)
  • Teorema de Cantor (es)
  • Teorema di Cantor (it)
  • Théorème de Cantor (fr)
  • Теорема Кантора (uk)
  • カントールの定理 (ja)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of