summaryrefslogtreecommitdiffstats log msg author committer range
diff options
 context: 12345678910152025303540 space: includeignore mode: unifiedssdiffstat only
author committer David A. Madore 2021-03-22 16:33:07 +0100 David A. Madore 2021-03-22 16:33:07 +0100 59c8b05db106291439a532cb2b81d62cc3dd4b15 (patch) bc490df960a26e5c258e1625bf829b2b25171c1e 98296d7e4da481cb7825107de34a49919e1ba784 (diff) mitro206-59c8b05db106291439a532cb2b81d62cc3dd4b15.tar.gzmitro206-59c8b05db106291439a532cb2b81d62cc3dd4b15.tar.bz2mitro206-59c8b05db106291439a532cb2b81d62cc3dd4b15.zip
Don't refer to the von Neumann definition of ordinals.
-rw-r--r--notes-mitro206.tex2
1 files changed, 1 insertions, 1 deletions
 diff --git a/notes-mitro206.tex b/notes-mitro206.texindex 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