« 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 axiomequand on présente les entiers naturels.