diff --git a/fonction récursive primitive.md b/fonction récursive primitive.md index 04f310cc..8ab11c7a 100644 --- a/fonction récursive primitive.md +++ b/fonction récursive primitive.md @@ -28,7 +28,7 @@ aliases: > > L'ensemble des **fonctions récursives primitives** est alors le plus petit des sous ensembles $E$ de $\mathscr{F}$ tel que : > - $E$ contient toutes les fonctions constantes de $\mathscr{F}$ -> - +> - $E$ contient toutes les projections $P_{p}^{i}$ > ^definition