¿Cómo podemos probar esto? La suma es conmutativa, la resta no lo es. La multiplicación es asociativa, la división no?

Para los números naturales, defina la suma de modo que

  1. Para todos los números naturales [matemática] x [/ matemática], tenemos [matemática] x + 0 = x [/ matemática]
  2. Para todos los números naturales [matemática] x [/ matemática] y [matemática] y [/ matemática], tenemos [matemática] x + S (y) = S (x + y) [/ matemática]

donde [math] S [/ math] es la función sucesora en los números naturales.

Sugerencia: Primero pruebe por inducción que la suma es asociativa. Luego demuestre por inducción que la suma es conmutativa.

Para los números naturales, defina la multiplicación de modo que

  1. Para todos los números naturales [matemática] x [/ matemática], tenemos [matemática] x \ cdot 0 = 0 [/ matemática]
  2. Para todos los números naturales [matemática] x [/ matemática] y [matemática] y [/ matemática], tenemos [matemática] x \ cdot S (y) = x \ cdot y + x [/ matemática]

Sugerencia: demuestre por inducción que la multiplicación es asociativa.