| Enlace | Ir a recurso | 
| Descripción | 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. | 
| Tipo | Blog | 
| Palabras Clave | asociatividad, conmutatividad, inducción, ley de cancelación, numeros naturales, principio de inducción, recursión, sucesor, suma, teorema de recursión, unicidad | 
| Asignatura | Teoría de los Conjuntos I | 
| Tema | Los números naturales, inducción y recursión | 
| Subtema | Aritmética en los naturales. Variantes de teorema de recursión. | 
| Categoría | None | 
| Autor | Enrique Aguirre Franco |