En otras palabras, uno puede probar el Principio de Ordenamiento del Bien a partir del Axioma de Inducción, como lo hemos hecho nosotros, pero también se puede probar el Axioma de Inducción si se asum...En otras palabras, uno puede probar el Principio de Ordenamiento del Bien a partir del Axioma de Inducción, como lo hemos hecho nosotros, pero también se puede probar el Axioma de Inducción si se asume el Principio de Ordenamiento Bien. El elementoℓ en el Teorema 4.39 es referido como un límite inferior paraA mientras que el elementou en el Teorema 4.40 se llama un límite superior paraA.