Bon ordre et preuve par récurrence

Rappel preuve par récurrence. Théorème de la preuve par récurrence.

Preuve par récurrence forte. Exemple de l'existence d'une décomposition en nombres premiers d'un entier naturel.