« on ne démontre pas le raisonnement par récurrence »
Je croyais qu’un raisonnement n’a pas à se démontrer, c’est comme la marche, qui se prouve en marchant ; un théorème, par contre, si.
Parce que le raisonnement par récurrence est un mode de démonstration.
Il est formalisé par un axiome quand on présente les entiers naturels.