From f63995a70b57caffe9aa32baf2c1265a9050d646 Mon Sep 17 00:00:00 2001
From: oskar <oscar.plaisant@icloud.com>
Date: Sun, 22 Mar 2026 19:09:57 +0100
Subject: [PATCH] MacBook-Pro-de-Oscar.local 2026-3-22:19:9:57

---
 fonction d'ackermann de cori et lascar.md | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/fonction d'ackermann de cori et lascar.md b/fonction d'ackermann de cori et lascar.md
index d8ffb642..1714b792 100644
--- a/fonction d'ackermann de cori et lascar.md	
+++ b/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