eduroam-prg-og-1-29-194.net.univ-paris-diderot.fr 2026-2-4:12:21:54

2026-02-04 12:21:54 +01:00
parent ac9f5a0242
commit 9802d0e9d4
3 changed files with 5 additions and 2 deletions
@@ -9,11 +9,13 @@ aliases:

 > [!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)
+> [^1] 
 > 
 ^definition

+
 # Propriétés

 # Exemples

+[^1]: 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)