Théorème de Cantor : " Il n'existe aucune application surjective de E sur P (E) ".