Discusión:Lema de Zorn

Contenido de la página no disponible en otros idiomas.
De Wikipedia, la enciclopedia libre

El artículo dice: "Todo conjunto parcialmente ordenado en el que toda cadena (es decir, subconjunto totalmente ordenado) tiene un límite superior, contiene al menos un elemento maximal." El link cadena lleva a un artículo que dice "Unidad de longitud utilizada para medir terrenos." que no tiene nada que ver con un subconjunto totalmente ordenado...

Además, el ejemplo del círculo, si bien muestra lo que es un elemento maximal, no cumple la condición de que toda cadena tenga un límite superior contenido en la cadena, lo que puede llevar a confusión al lector.

Tampoco se comenta en el artículo la equivalencia del lema de Zorn con el axioma de la elección.

Se dice que el lema es equivalente al axioma de libre elección, pero entonces ¿porqué sería un teorema? ¿porque tomamos este axioma de libre elección como bueno?