Bonjour, j'ai une question, il est aisé de montrer que tout ensemble non vide est ordonnable, par exemple l'égalité convient comme ordre. Maintenant j'aimerai savoir si tout ensemble non au plus dénombrable est ordonnable, et encore mieux si tout ensemble non au plus dénombrable est totalement ordonnable.
RoBeRTo
-----



, base d'un espace vectoriel de dimension non dénombrable, c'est avoir un bon ordre sur
Donc l'axiome du choix m'assure que tout ensemble peut être bien ordonné, enfin théorème que l'on appelle théorème de Zemerlo.