En ZFC, cada lineales de espacio ordenado respecto a la orden de la topología es completamente normal. Yo vi la de esta prueba y la prueba de esta afirmación en el libro "Contraejemplos de topología" (39). Pero como he visto cada prueba de esta instrucción utiliza elección. Incluso si (que yo sepa) la prueba de "Todos lineal continuo es normal" usa el axioma de elección.
Así que creo que la elección es esencial para probar esta afirmación. Eso es cierto? Gracias por la ayuda.