Ideas raras en las novelas

Proposiciones de la lógica que no se deducen en la misma lógica, un corolario (sic; ¿una verdad?) godeliano. Pues si no se demuestran será que se muestra. Nuestras viejas y queridas intuición y deducción del programa cartesiano, al cabo.