diff options
| -rw-r--r-- | notes-mitro206.tex | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/notes-mitro206.tex b/notes-mitro206.tex index 6bd8a82..5204db3 100644 --- a/notes-mitro206.tex +++ b/notes-mitro206.tex @@ -4317,7 +4317,8 @@ toujours comparables (on a toujours $\beta<\alpha$ ou $\beta>\alpha$ ou $\beta=\alpha$), et il n'existe pas de suite infinie strictement décroissante d'ordinaux. -Autrement dit : dans tout ensemble d'ordinaux il y en a un plus petit. +Autrement dit : dans tout ensemble non vide d'ordinaux il y en a un +plus petit. \end{thm} \begin{proof} Le théorème \ref{comparison-of-well-ordered-sets} signifie exactement |