Pas très clair (c'est sûrement là l'erreur de raisonnement) peut tu nous dire ce que devient 21789?

Pour le voir différement, tu peux aussi noter que l'argument de Cantor est en fait un cas particulier d'un théorème beaucoup plus général, également démontré par Cantor :
 

 
 
Démonstration : supposons que E et P(E) soient de même cardinal. Cela signifie qu'il existe une bijection f de E dans P(E). On considère l'ensemble T tel que a appartienne à T ssi a n'appartient pas à f(a). Puisque T est une partie de E et f une bijection, on peut trouver un b de E tel que f(b) = T. Est-ce que b appartient à T ?
 
Si b appartient à T, alors b n'appartient pas à f(b) par définition. Mais f(b) = T, ce qui est contradictoire.
 
Si b n'appartient pas à T, alors b n'appartient pas à T=f(b). Par définition, cela signifie que b est dans T : encore une contradiction.
 
On en déduit qu'il n'existe pas de bijection de E dans P(E).
 
Puisque R peut être vu comme l'ensemble des parties de N, card (R) <> card(N).