Récurrence

N. f. Caractère de ce qui est récurrent, de ce qui se répète.

Ce terme est fréquemment utilisé dans l'expression raisonnement par récurrence. Ce type de raisonnement est utilisé pour démontrer une propriété portant sur tous les entiers naturels. Il consiste à démontrer la propriété pour le nombre entier 0 et ensuite de démontrer que si la propriété est satisfaite pour un nombre entier, elle est également satisfaite pour le nombre entier qui le suit. On en conclut que la propriété est vraie pour tous les entiers naturels.