En primer lugar, no estoy seguro de si "intangibles", es la terminología estándar, Wikipedia define un intangible de objeto a: "los objetos que se pruebe que existe, pero lo que no puede ser explícitamente construido". Así que si alguien puede me apunte hacia una mejor terminología, se lo agradecería.
El artículo enlazado desde la Wikipedia afirma que el axioma de elección implica la existencia de tales objetos intangibles, el uso de no-medibles establece como un ejemplo. Me preguntaba si la ley del medio excluido nos da ejemplos similares de objetos intangibles. Si no hay ningún tipo de ejemplos, es posible demostrar que todos los objetos demostrado que existe con el LEM también existen de manera constructiva? Tendría que ser posible demostrar?
