L'incomplétude du symbolique

Le projet cartésien d'une langue pour la science d'où toute équivoque serait chassée a débouché sur une découverte de taille : il manquera toujours à un tel système symbolique la capacité de prouver qu'il ne recèle aucune contradiction potentielle. En étudiant le questionnement du symbolique inauguré par Freud, Lacan devait déboucher sur une série d'énoncés négatifs (il n'y a pas de métalangage, il n'y a pas de rapport sexuel), signe d'une incomplétude du symbolique reconnue comme décisive dans le procès subjectivant. Comment situer l'événement de cette étrange convergence entre étude formaliste et psychanalytique ?