#Raisonnement par récurrence double #Il faut penser à utiliser une récurrence double lorsque chaque terme de la suite dépend des 2 précédents
#Raisonnement par récurrence à pas multiples #Le pas pour la double est 2, le pas pour la triple est 3 etc...
#Raisonnement par récurrence forte #Dans une récurrence forte dans l'initialisation, on doit seulement montrer que P(n0) est vraie alors que dans la récurrence double, on doit montrer que P(n0) et P(n0+1) sont vrais.
Pour comprendre l'idée E n'appartient pas à E (ou A n'appartient pas à A comme pour l'illustration au-dessus) #Paradoxe de Russell
#Exercices à réaliser #Source : Exo7Math