From 856da22b5dbc059e16cac42a95c5d08d274f474b Mon Sep 17 00:00:00 2001 From: oskar Date: Thu, 5 Feb 2026 12:00:18 +0100 Subject: [PATCH] MacBook-Pro-de-Oscar.local 2026-2-5:12:0:17 --- fonction récursive primitive.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/fonction récursive primitive.md b/fonction récursive primitive.md index 8ab11c7a..35f0c696 100644 --- a/fonction récursive primitive.md +++ b/fonction récursive primitive.md @@ -28,7 +28,8 @@ 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}$ +> - $E$ contient toutes les projections $P_{p}^{i}$ pour tous les entiers $p$ et $i$ avec $1 \leq i \leq p$ +> - > ^definition