From 794a9a2cfbdb97f28aa50bd5dfa645bda375f851 Mon Sep 17 00:00:00 2001
From: oskar <oscar.plaisant@icloud.com>
Date: Wed, 17 Jun 2026 19:47:47 +0200
Subject: [PATCH] MacBookPro.lan 2026-6-17:19:47:47

---
 .obsidian/plugins/breadcrumbs/data.json |  2 +-
 cardinal.md                             | 17 +++++++++++++++++
 2 files changed, 18 insertions(+), 1 deletion(-)
 create mode 100644 cardinal.md

diff --git a/.obsidian/plugins/breadcrumbs/data.json b/.obsidian/plugins/breadcrumbs/data.json
index abd4ce54..d6b8e853 100644
--- a/.obsidian/plugins/breadcrumbs/data.json
+++ b/.obsidian/plugins/breadcrumbs/data.json
@@ -286,7 +286,7 @@
           "prevs"
         ],
         "lock_view": false,
-        "lock_path": "filtre convergent.md",
+        "lock_path": "cardinal.md",
         "custom_sort_fields": false,
         "custom_sort_field_labels": []
       },
diff --git a/cardinal.md b/cardinal.md
new file mode 100644
index 00000000..a9974f87
--- /dev/null
+++ b/cardinal.md
@@ -0,0 +1,17 @@
+---
+up:
+  - "[[théorie des ensemble NBC]]"
+tags:
+  - s/maths/logique
+aliases:
+---
+
+> [!definition] Définition
+> On définit les cardinaux à partir des ensembles :
+> $0 = \emptyset$
+> $1 = \{ \emptyset \}$
+> $2 = \{ \emptyset, \{ \emptyset \} \}$
+> $3 = \{ \emptyset, \{ \emptyset \}, \{ \emptyset, \{  \emptyset \} \} \}$
+> $\vdots$
+> $n^{+} = n \cup \{ n \}$
+^definition