Jonas: Lo que hay que mostrar es que si $Y$ es bien ordenado, entonces cualquier subconjunto $Z$ $Y$ es isomorfo a un segmento inicial de $Y$. ¿Cómo definirías un isomorfismo $f$? Usted no tiene muchas posibilidades: El menor elemento de a $Z$ debe ser asignada por $f$ a el elemento más pequeño de $Y$. El siguiente elemento de $Z$ debe ser asignada por $f$ para el siguiente elemento de $Y$, y así sucesivamente. Sólo tiene que comprobar que esto funciona.
En más detalle, decir que $g$ es una aproximación iff su dominio es un segmento inicial de $Z$, su rango es un segmento inicial de $Y$, e $g$ es un isomorfismo de su dominio en su gama.
Uno de cheques (considerando menos desacuerdos) que cualquiera de las dos aproximaciones coinciden en que la parte común de sus dominios, por lo que podemos dejar a $f$ común será la función resultante de pegar todas las aproximaciones juntos.
Sólo tenemos que ver que $f$ escapes $Z$. Para esto, uno puede comprobar que $f(x)\le x$ todos los $x$, por lo que uno "no se ejecuta fuera de la habitación."
Hay un poco más elegante (y formal) forma de presentar este argumento, apelando al teorema de recursión.
Para$x$$Z$, definir $f(x)=\sup_Y({\rm succ}_Y f(y)\mid y\in Z, y\lt x)$ donde ${\rm succ}_Y a$ significa que el sucesor en $Y$$a$. A continuación, $f$ es, precisamente, el mapa que quería. (Uno todavía necesita un poco de argumento para ver que funciona).
Una difícil pregunta para otro día es si el teorema de recursión es necesario para el argumento. Esto puede ser formalizado por preguntarse si Zermelo la teoría de conjuntos demuestra el resultado (por lo que no tienen acceso a la sustitución), pero no puede ser más fino formulaciones.
(Lo anterior fue escrito rápidamente. Déjame saber de infelicities o llanura de falsedades y voy a tratar de editar).