Demostrar que la adición en N es asociativa (a+ b) + c= a + ( b+ c) por principio de inducción matemática o sistema

axiomático de Peano.

Inducción en c

Definamos f (n)=n+ 1 en donde se cumple ∀ a , b ∈ N f ( a+ b )=a+f (b)

1) 1∈N
( a+ b ) +1=f ( a+b )=a+ f ( b )=a+(b+1)

2) ( a+ b ) +n=a+(b+n)
3) ( a+ b ) +f (n)=a+(b+ f (n))
( a+ b ) +f ( n )=( a+b ) +n+1=f ( ( a+ b ) +n ) =f ( a+ ( b+n ) ) =a+ f ( b+n )=a+(b+ f ( n ) )