L'esempio precedente suggerisce di introdurre la nozione di ricorsività locale, contrapposta alla ricorsività globale:
Più precisamente, l'intero naturale n è una funzione di x, per cui la ricorsione precedente si scrive:
Formalmente possiamo considerare la funzione reale f(x,n) definita in A: