Tout ensemble dénombrable est bien ordonné, puisque ZF donne un bon ordre explicite sur N.

L'axiome du choix dénombrable, c'est autre chose (existence d'une fonction de choix sur tout ensemble dénombrable).

./5756> Moui enfin tu peux dire que deux ensembles ont_le_même_cardinal (expression synonyme de "sont équipotents"), mais s'il n'y a pas de bon ordre dessus, alors ces ensembles n'ont pas de cardinal (= ne sont pas équipotents à un cardinal).