La proposición Para cada número cardinal $m$ hay una clara siguiente mayor número cardinal.
Esta proposición se prueba en la página 136 de "Pruebas del Libro" con el hecho de que cualquier conjunto de números ordinales es bien ordenado. Sin embargo, éste hecho es presentado sin la prueba.
El razonamiento se ve un poco extraño para mí porque parece que nos están demostrando que el bien orderedness de cualquier conjunto de los números cardinales por medio de la misma propiedad para los conjuntos de los números ordinales. (Y tengo la sensación de que la prueba para los números ordinales debe ser aún más difícil que la de los cardenales, pero debo estar equivocado!)
No tengo ningún antecedente en la teoría de conjuntos o de la lógica, pero estaba esperando que alguien podría conducirme a un "no-técnica" de referencia o tal vez compartir algunas ideas sobre esto. Gracias!
