Catégories de Peano et catégories algorithmiques, récursivité