Ackermann demostró que se trata de una función recursiva que no es primitiva recursiva.