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.
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.