Le raisonnement par récurrence est une forme de raisonement mathématique dont l'objet est de démontrer une propriété de tous les entiers naturels, ou plus généralement d'une infinité d'entiers ...