La preuve par recurrence, PARTIE 3

La preuve par recurrence,

Elle est un mode de raisonnement valide en Mathematiques; une methode aussi valide que la preuve par l'absurde, par contraposition, par contre-exemple, etc... Cet outil puissant de demonstration s'appuie sur le systeme des nombres naturels (arithmetique classique); or selon Mr GOEDEL (incompletude), toute theorie mathematique incluant un tel systeme est incomplet; on presente ici les etapes de cette maniere de demontrer les choses (niveau Terminale);