Cette séance de cours introduit l'induction forte comme une méthode de preuve équivalente à l'induction mathématique, mais plus adaptée à certains cas. Il explique les principes de l'induction forte, ses avantages par rapport à l'induction mathématique, et son équivalence avec d'autres méthodes de preuve. Par un exemple détaillé, l'instructeur démontre comment l'induction forte peut être utilisée pour prouver un théorème sur l'expression des entiers positifs comme des sommes de puissances distinctes de deux.