Non j'ai dit que aleph_1 est le cardinal de l'ensemble de tous les ordinaux dénombrables (c'est-à-dire le nombre de bons ordres différents (non isomorphes) qu'on peut mettre sur N), c'est ce que j'ai lu sur wikipedia ; pas qu'il est lui-même dénombrable, ça je sais que ce n'est pas le cas par définition.

Et donc c'est quoi l'argument ?