Suma en los naturales - [Detalles]

En esta nueva entrada presentaremos la definición formal de la suma, veremos que, gracias al teorema de recursión, es única y demostraremos algunas de las propiedades que satisface usando el principio de inducción.

Producto en los naturales - [Detalles]

Ahora que hemos definido a la suma en el conjunto de los naturales, podemos definir el producto, pues este se refiere a sumar cierta cantidad de veces un número. De modo que el producto se definirá con ayuda de la suma. También demostraremos varias propiedades del producto.