---
up:
tags:
  - s/maths
  - s/informatique
aliases:
  - fonctions récursives primitives
---

> [!definition] [[fonction récursive primitive]]
> On définit par [[induction]] l'ensemble des fonctions récursives primitives comme suit :
> Soit $p \in \mathbb{N}$ on note $\mathscr{F}_{p}$ l'ensemble des applications de $\mathbb{N}^{p} \to \mathbb{N}$ (par convention, $\mathscr{F}_{0}$ ne contient que la suite vide)
> 
^definition

# Propriétés

# Exemples