théorème de Cantor Georg Cantor Georg Cantor Théorème selon lequel, pour tout ensemble M, les ensembles M et 𝓟(M) ne sont pas équipotents. On a, au contraire, card M < card 𝓟(M).