raisonnement par récurrence

Cette méthode utilise l'axiome de récurrence :

Quel que soit la proposition P(n), où n est une variable entier naturel,

Si (P(0) vraie et (∀n, P(n) ⇒ P(n + 1) vraie)) alors (∀n, P(n) vraie).