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 l'entier 0 ;
• Si cette propriété est satisfaite par un certain nombre entier naturel n, alors elle est satisfaite par son successeur, c'est-à-dire par le nombre entier n+1.