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 ensembleE est toujours strictement inférieur au cardinal de l'ensemble de ses partiesP(E), c'est-à-dire essentiellement qu'il n'existe pas de bijection entre E et P(E).