A sexta palavra desta pergunta evidente:ambiguidade preve o passado?Lacan faz recurso a variasciencias para fundamentar seu conceito de real. Dentre elas, a que ele maisenfatizou como demonstracao de seu conceito e a logica, isso porque o real seafirma nos impasses da logica (2012, p. 39). Lacan, entao privilegia a logicacomo o paradigma do que questiona o que pode sair da linguagem (...) Proponhoencontrar nesse real que se afirma pela interrogacao logica da linguagem o modelo do que nos interessa, ou seja, doque a exploracao do inconsciente revela (p. 40). O paradigma do questionamentoe impasse logicos da linguagem e, para Lacan, o teorema da incompletude deGodel, que subverte nocoes classicas da logica, como o principio denao-contradicao. O que a logica se propunha tratar, inicialmente, em suaambicao de conquista, nada mais nada menos do que a rede do discurso, na medidaem que ela se articula. Ao se articular, essa rede deveria fechar-se numuniverso que supostamente encerraria e cobriria com uma malha fina o que eraoferecido ao conhecimento. A experiencia logica mostrou que isso acontecia deoutra maneira (...) Nesse ponto, num campo que e aparentemente o mais seguro [oda logica], pomos o dedo no que se opoe a captura completa no discurso doesgotamento logico, o que introduz nela uma hiancia irredutivel. E ai quedesignamos o real (Ibid.). Assim, o real e a demonstracao logica (ou seja,simbolica) de que e impossivel haver uma demonstracao logica completa de algumaarticulacao [leia-se formacao do inconsciente sonho, chiste, etc.], sempreresta essa hiancia em qualquer discurso, ou seja, em qualquer linguagem, emqualquer articulacao em qualquer inconsciente. Isso e o Inconsciente comoreal, e nao como simbolico e precisamente onde o simbolico falha, ou,melhor dizendo, e algo fora (ek-sistente) da propriedade articulatoria dosimbolico. O sistema matematico demonstra a existencia da contradicao emqualquer sistema matematico que queira se ver livre dela, livre dessa capturacompleta de um sistema em termos de si mesmo nenhum sistema recobre-se a simesmo, ha sempre um ponto de indecidibilidade. Godel procede a demonstracao deque, no campo da aritmetica, sempre havera algo enunciavel nos proprios termosque ela comporta, que nao estara ao alcance do que ela postula para si mesmacomo modo de demonstracao a se considerar aceito (Ibid., p. 40). Em umalinguagem mais rigorosa, Todas as afirmacoes axiomaticas consistentes dateoria dos numeros incluem proposicoes indecidiveis (HOFSTADTER, p. 17) o indecidivele o que evidencia a existencia de contradicoes e paradoxos. Isso foi um avancono campo da matematica que permitiu um avanco na logica. Um exemplo dessalogica e o famoso paradoxo proposto por Epimenides (adaptado): Eu estoumentindo, ou, em outra versao, Esta frase e falsa. Ora, se a frase forfalsa, ela estara dizendo a verdade sobre si mesma, logo ela sera verdadeira;mas se ela for verdadeira ela esta dizendo que e falsa, logo sera falsajustamente porque e verdadeira. Como pode uma frase ser falsa se for verdadeira e vice versa? Como pode uma coisa ser seu proprio oposto? Ai reside a hianciado real de que Lacan fala. o notavel e que Godel nao procede a partir dosvalores de verdade, da ideia de verdade, mas a partir da ideia de derivacao. E ao deixar