Resultado de la búsqueda: dilema constructivo en logica