¿Hay resultados en la topología algebraica, preferiblemente relacionados con la homología o la homotopía o fraseable en conjuntos simpliciales, que no son ciertos en una lógica intuicionista?
En otras palabras, ¿hay resultados que se basan fundamentalmente en una ley del medio excluido o en el axioma de la elección?
