dualmoo (./5753) :
Il faut pas AC pour trouver un bon ordre sur tout ensemble ?
ben y a pas besoin de trouver un bon ordre pour pouvoir dire qu'ils ont le même cardinal ^^ (et puis en plus en l'occurrence c'est des cardinaux dénombrables, donc ils sont bien ordonnés par bijection avec N)