1. Que faut-il vérifier en premier pour appliquer un raisonnement par récurrence à partir d’un rang n₀ ?
Que la propriété est vraie au rang n₀
Erklärung
L’initialisation consiste à établir que P(n₀) est vraie au rang de départ. Sans cette étape, l’hérédité seule ne permet pas de conclure pour tous les rangs.