From 59c8b05db106291439a532cb2b81d62cc3dd4b15 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Mon, 22 Mar 2021 16:33:07 +0100
Subject: Don't refer to the von Neumann definition of ordinals.

---
 notes-mitro206.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/notes-mitro206.tex b/notes-mitro206.tex
index f73c7b3..7a7e532 100644
--- a/notes-mitro206.tex
+++ b/notes-mitro206.tex
@@ -5221,7 +5221,7 @@ L'ordinal $0$ est neutre pour $\oplus$.
 Par induction sur $\alpha$, on prouve $\alpha \oplus 0 = \alpha$ : en
 effet, $\alpha \oplus 0 = \mex \{\beta\oplus 0: \beta<\alpha\}$, et
 par hypothèse d'induction ceci vaut $\mex \{\beta: \beta<\alpha\} =
-\mex \alpha = \alpha$.
+\alpha$.
 \end{proof}
 \begin{proof}[Seconde démonstration]
 Cela résulte de l'observation que $\alpha\oplus 0 = \gr(*\alpha_1
-- 
cgit v1.2.3