La perspective de forger une langue de laquelle tout arbitraire serait exclu, fut la prétention de la logique, représentée par Frege en 1870, mais définitivement remise en question par Gödel, dans sa démonstration de l'incomplétude du système. La conception lacanienne du symbolique exprime la même faille du discours.