J'y connais rien mais j'ai trouvé ça :
En prenant le contraire, on suppose que l'ensemble des entiers naturels a le cardinal le plus petit possible, donc fini. Mais cela contredit le théorème du barycentre qui stipule que tout ensemble fini est inclus dans l'ensemble des entiers naturels.
Mais comme j'y connais rien je sait pas si c'est juste ou faux