diff options
| -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 |