Demostración por inducción Propiedad conmutativa de la suma

Demostraremos por inducción la siguiente propiedad
La adición de números naturales es conmutativa, es decir que ∀ m,n∈N, m+n=n+m

[@Ebeca8342]

Hola, en los axiomas de peano 1 no es siguiente de un natural. Para demostrar puedes usar el 0? Y si en lugar de 0 tomas el 1( minuto 1:04)? Cómo demostrarias. n=1
m+1=sig(m)
1+m=??
Cómo lo harías? Gracias

[@HanabiArce]

Pero 1 es el sucesor de 0 😔

[@7w7-x5t]

0€N