Teorema de Recursión

Teniendo en cuenta nuestra función sucesor .

Teorema. (Recursión)

Sea un conjunto, sea y sea . Entonces existe una única función tal que

1. ;