Raisonnement par récurrence

En mathématiques, le raisonnement par récurrence est une forme de raisonnement visant à démontrer une propriété portant sur tous les entiers naturels. Le raisonnement par récurrence consiste à démontrer les points suivants :la propriété est satisfaite par un entier n0 ; chaque fois que cette propriété est satisfaite par un certain nombre entier naturel n ≥ n0, elle est également satisfaite par son successeur, c'est-à-dire par le nombre entier n + 1.

Texte : extrait de l'article Wikipédia « Raisonnement par récurrence », sous licence CC BY-SA 4.0.