Raisonnement par récurrence

On vérifie que la proposition est vraie pour un entier n₀.

On suppose que la proposition est vraie à un rang n + 1 > n₀ et on démontre qu'elle est vraie au rang n + 1, le rang suivant. Si c'est le cas, on dit que P(n) est héréditaire.

On suppose que la proposition est vraie pour tout n > n₀ et on démontre qu'elle est vraie au rang n + 1, le rang suivant. Si c'est le cas, on dit que P(n) est héréditaire.

On suppose que la proposition est vraie à un rang n > n₀ et on démontre qu'elle est vraie au rang n + 1, le rang suivant. Si c'est le cas, on dit que P(n) est héréditaire.