diff options
| author | David A. Madore <david+git@madore.org> | 2019-03-17 20:21:16 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2019-03-17 20:30:48 +0100 |
| commit | f9d723c0439107cba9ae30fd85075ae3d1abefd2 (patch) | |
| tree | 9e5cf6e657c68c5478c93cec9e002d50484c9828 | |
| parent | ae0f3c8067abedb4ebfe3a4a45d8584eaefd3da9 (diff) | |
| download | mitro206-printed-2019.tar.gz mitro206-printed-2019.tar.bz2 mitro206-printed-2019.zip | |
Missing clarification.printed-2019
| -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 |