antinomie de Cantor

Antinomie découverte en 1899 par Cantor, relative à l'ensemble de tous les ensembles.

Soit U cet ensemble ; l'ensemble 𝓟(U) de tous les sous-ensembles de U a un cardinal plus grand que U (→ théorème de Cantor), ce qui contredit la définition de U. La collection de tous les ensembles n'est donc pas un ensemble.