"El propósito de este trabajo es determinar estructuras lógicas que soportan el comienzo de la teoría formal del significante en psicoanálisis, articulando fundamentos teórico-metodológicos que permiten comprender la dirección teórica que propone Jacques Lacan para el psicoanálisis, al sostener en el seminario Aun (1972-1973) que ―La formalización matemática es nuestra meta, nuestro ideal‖ (Lacan, 1992, p. 144). Así, la investigación desarrollará una introducción a la formalización de la teoría psicoanalítica desde una perspectiva epistemológica, buscando (1) describir los principales estructuralismos en los que se sustentaría la formalización de la teoría del significante; (2) delimitar las proposiciones o límites que surjan de esta investigación y acotan las posibilidades de formalización del significante y (3) concluir con la escritura del significante mediante el lenguaje de la teoría de conjuntos" (p. 3).