Relations d'ordre. Dénombrement. Plus grand élément. Borne ...

Toute partie non vide minorée de Z poss`ede un plus petit élément. Comme application, nous pouvons construire la partie enti`ere des réels. Théor`eme et ...