Otras definiciones recursivas en los naturales (exponenciación y factorial) - [Detalles]
Definimos el factorial y la exponenciación en los números naturales asimismo probamos unas leyes de los exponentes.