Introduction
Dans cette section, les axiomes qui permettent de justifier les propriétés des entiers ne sont pas énoncés. Le but est simplement de justifier à l'aide d'un seul principe du bon ordre qui est admis les méthodes de démonstrations par récurrence connues depuis le lycée.
Principe du bon ordre :
Tout sous-ensemble non vide de \(\mathbb N\) contient un plus petit élément.