Exercice 3, § 2

Dans le corps $\mathbf{Q}$, soit $P$ l’ensemble formé de 0 et des nombres rationnels $\geqslant 1$ (pour l’ordre usuel). Montrer que $P$ satisfait aux axiomes (AP$_I$), (AP$_II$) et (AP$_III$).