L'initialisation dans le raisonnement par récurrence consiste à vérifier que la propriété est vraie pour un cas de base, généralement pour n = 0 ou n = 1. Cela correspond à pousser le premier domino pour amorcer la chute des dominos suivants.