diff options
author | David A. Madore <david+git@madore.org> | 2016-03-09 19:16:23 +0100 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2016-03-09 19:16:23 +0100 |
commit | 7d685f5947b8a50865cfbaab5757838d0ade76e3 (patch) | |
tree | 52ce105bbabad47066a3b1563e9159092669a967 | |
parent | 5193d02c6cf2da78b5a3d47626ec78db521bb3b6 (diff) | |
download | mitro206-7d685f5947b8a50865cfbaab5757838d0ade76e3.tar.gz mitro206-7d685f5947b8a50865cfbaab5757838d0ade76e3.tar.bz2 mitro206-7d685f5947b8a50865cfbaab5757838d0ade76e3.zip |
Another point to note about constructing ordinals.
-rw-r--r-- | notes-mitro206.tex | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/notes-mitro206.tex b/notes-mitro206.tex index e06f8c4..5c44c03 100644 --- a/notes-mitro206.tex +++ b/notes-mitro206.tex @@ -3409,6 +3409,13 @@ ne forment pas un ensemble, pour un peu la même raison que l'ensemble de tous les ensembles n'existe pas : il est « trop gros » pour tenir dans un ensemble). +Pour dire les choses différemment avec un slogan peut-être un peu +approximatif : +\begin{center} +À chaque fois qu'on a construit les ordinaux jusqu'à un certain point, +on crée un nouvel ordinal qui vient juste après tous ceux-là. +\end{center} + \thingy Pour aider à comprendre comment les choses commencent, et en partant de l'idée générale que \begin{center} |