diff --git a/M1 LOGOS . logique.md b/M1 LOGOS . logique.md
index 10142ff2..071f1455 100644
--- a/M1 LOGOS . logique.md	
+++ b/M1 LOGOS . logique.md	
@@ -35,9 +35,15 @@ author:: [[George Boole]]
 - [[filtre]]
 - [[ultrafiltre]]
 
-## 
+# 3 - Théorie de la démonstration
 
-# 3 - Bibliographie
+> [!idea] Principe
+> Définir (par récurrence) la notion de formule démontrable à partir d'un ensemble $T$ de formules.
+> $T \vdash f$
+
+ - [[modus ponens]]
+
+# 4 - Bibliographie
 [page du cours de logique](https://webusers.imj-prg.fr/~antoine.chambert-loir/enseignement/2025-26/logique/index.xhtml)
 
 livres de logique :