Lors d'un raisonnement par récurrence, nous faisons l'hypothèse que la proposition est vraie pour un certain rang, afin de le démontrer pour le rang suivant. Cette hypothèse est appelée hypothèse de récurrence.