Raisonnement par récurrence

Un raisonnement par récurrence (ou de proche en proche, on dit aussi par induction) permet de démontrer toute une suite de propriétés, en vérifiant seulement deux conditions : que la première propriété est vraie (initialisation), puis que si une propriété est vraie, alors la suivante l'est aussi (héritage) ; de même que pour grimper en haut d'une échelle, il suffit de remplir deux conditions : atteindre le premier barreau, et être capable de passer d'un barreau au barreau suivant.
C'est à Blaise Pascal que l'on doit la première utilisation du raisonnement par récurrence, dans le Traité du triangle arithmétique en 1654. Il en existe de multiple variantes.