diff options
| author | David A. Madore <david+git@madore.org> | 2021-03-22 16:33:07 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2021-03-22 16:33:07 +0100 |
| commit | 59c8b05db106291439a532cb2b81d62cc3dd4b15 (patch) | |
| tree | bc490df960a26e5c258e1625bf829b2b25171c1e | |
| parent | 98296d7e4da481cb7825107de34a49919e1ba784 (diff) | |
| download | mitro206-59c8b05db106291439a532cb2b81d62cc3dd4b15.tar.gz mitro206-59c8b05db106291439a532cb2b81d62cc3dd4b15.tar.bz2 mitro206-59c8b05db106291439a532cb2b81d62cc3dd4b15.zip | |
Don't refer to the von Neumann definition of ordinals.
| -rw-r--r-- | notes-mitro206.tex | 2 |
1 files changed, 1 insertions, 1 deletions
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 |