From 9cd37068df6236209c6f18219053e1520cd1f9f3 Mon Sep 17 00:00:00 2001
From: oskar <oscarplaisant@icloud.com>
Date: Tue, 14 Oct 2025 14:11:21 +0200
Subject: [PATCH] eduroam-prg-og-1-31-40.net.univ-paris-diderot.fr
 2025-10-14:14:11:20

---
 théorie henkinienne.md | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 théorie henkinienne.md

diff --git a/théorie henkinienne.md b/théorie henkinienne.md
new file mode 100644
index 00000000..ee80d5c3
--- /dev/null
+++ b/théorie henkinienne.md	
@@ -0,0 +1,17 @@
+---
+up:
+  - "[[théorie logique]]"
+tags:
+  - s/maths/logique
+aliases:
+---
+
+> [!definition] Définition
+> Une théorie $T$ est co
+^definition
+
+# Propriétés
+
+# Exemples
+
+