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.