Funciones compatibles - [Detalles]

En esta entrada definiremos las funciones compatibles y veremos varios resultados relacionados a ellos. Este concepto será de gran utilidad en la demostración de nuestro siguiente teorema: el teorema de recursión.

Teorema de recursión - [Detalles]

En esta entrada veremos el concepto de calculo de longitud, así como la motivación y prueba del teorema de recursión, el cual nos ayudara a definir la suma en el conjunto de los numeros naturales.