Riemann66,

si pour démontrer que 5+3 = 7 vous dites : « prends le suivant de 5 et le précédent de 3 : 5 + 2 »

Encore faudrait il expliquer pourquoi c’est pareil.

Démonstration : 5 + 3 = 4 + 3 + (1-1) = 4 + 1 + 3 - 1 = (4 + 1) + (3 - 1 ) = 5 + 2
etc.

Et vous expliquez du même coup la commutativité, l’associativité, et la récurrence.