MacBook-Pro-de-Oscar.local 2026-3-22:19:9:57

fonction d'ackermann de cori et lascar.md

@@ -19,7 +19,7 @@ aliases:
 > $\xi _{n}(x) = \xi(n, x)$ (définie comme $\xi _{n} := \lambda x. \xi(n, x)$)
 > La relation de récurrence est alors : $\xi _{n+1}(x+1) = \xi _{n}(\xi _{n+1}(x))$
 ^definition
-
+ 
 # Propriétés
 
 > [!proposition]+ Unicité
@@ -138,8 +138,11 @@ aliases:
 >      - dem $(\lambda xy. x+y)(x, y) \leq \xi _{0}^{1}(\sup\limits(x, y, 1))$ puisque $x+y \leq 2^{\sup\limits(x, y, 1)}$
 >  - Les fonction linéaires $\lambda x. kx$ où $k$ est un entier quelconque
 >      - dem $(\lambda x. kx)(x) \leq f(\sup\limits(x, k))$ 
->  - La fonction $\xi _{n}$
->      - dem 
+
+> [!proposition]+ $\xi _{n} \in C_{n}$
+> La fonction $\xi _{n}$ appartient à $C_{n}$
+> > [!démonstration]- Démonstration
+> > 
 
 # Exemples