summaryrefslogtreecommitdiffstats
path: root/notes-mitro206.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2016-03-09 18:16:23 (GMT)
committerDavid A. Madore <david+git@madore.org>2016-03-09 18:16:23 (GMT)
commit7d685f5947b8a50865cfbaab5757838d0ade76e3 (patch)
tree52ce105bbabad47066a3b1563e9159092669a967 /notes-mitro206.tex
parent5193d02c6cf2da78b5a3d47626ec78db521bb3b6 (diff)
downloadmitro206-7d685f5947b8a50865cfbaab5757838d0ade76e3.zip
mitro206-7d685f5947b8a50865cfbaab5757838d0ade76e3.tar.gz
mitro206-7d685f5947b8a50865cfbaab5757838d0ade76e3.tar.bz2
Another point to note about constructing ordinals.
Diffstat (limited to 'notes-mitro206.tex')
-rw-r--r--notes-mitro206.tex7
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}