La variable o argumento de una función recursiva primitiva es un número natural o una n-tupla de números naturales ("i", "i"..., "i"), mientras que el resultado o valor de la función es un número natural.