diff --git a/M1 LOGOS . mathématiques pour non spécialistes.md b/M1 LOGOS . mathématiques pour non spécialistes.md
index c64f79bd..39124847 100644
--- a/M1 LOGOS . mathématiques pour non spécialistes.md	
+++ b/M1 LOGOS . mathématiques pour non spécialistes.md	
@@ -12,4 +12,5 @@ aliases:
 >  - les résultats seront démontrés
 
 - introduction à la notation mathématique ensembliste
-    - $a \in E, \mathscr{P}(E), A \subseteq E, \forall x \in A\, $
+    - $a \in E, \mathscr{P}(E), A \subseteq E, \forall x \in A\, x \in E$
+    - [[entiers de von Neumann]]
diff --git a/entiers de von Neumann.md b/entiers de von Neumann.md
new file mode 100644
index 00000000..aeec8d8c
--- /dev/null
+++ b/entiers de von Neumann.md	
@@ -0,0 +1,29 @@
+---
+up:
+  - "[[nombres entiers naturels]]"
+tags:
+  - s/maths/ensembles
+aliases:
+author:
+  - "[[John Von Neumann]]"
+---
+
+> [!definition] Définition
+> Les nombres entiers sont définis récursivement comme suit : 
+> $0 = \emptyset$
+> $1 = \{ \emptyset \}$
+> $2 = \{ \emptyset, \{ \emptyset \} \}$
+> $3 = \{ \emptyset, \{ \emptyset \}, \{ \emptyset, \{ \emptyset \} \} \}$
+> $\vdots$
+> $n + 1 = \{ 0, 1, 2, \dots, n-1, n \} = n \cup \{ n \}$
+^definition
+
+# Propriétés
+
+> [!proposition]+ 
+> Pour tout entier naturel $n$
+> tout élément de $n$ est inclus dans $n$ :
+> $\forall n \in \mathbb{N},\quad \forall k \in n,\quad k \subseteq n$
+
+# Exemples
+