En el capítulo inicial de esta tesis se efectúa un análisis de lo que el psicoanalista francés Jacques Lacan entiende por formalizar. Posteriormente se extrae su definición de ciencia, sobre todo a partir de los postulados que presenta en el seminario 17. Luego, se hace una comparación de la noción de ciencia en la obra de Lacan con la que sostienen los físicos teóricos Stephen Hawking y Leonard Mlodinow, en su libro El Gran Diseño. Se observa que tanto Lacan como Hawking entienden a la ciencia como un factor productivo, más que descriptivo, y como una abstracción lógica, que si bien no es capaz de proporcionar una imagen de lo real, sí permite operar sobre él. En el segundo capítulo se verifica paso a paso el recorrido que Lacan lleva a cabo para formalizar el complejo de Edipo, propuesto por Sigmund Freud. Se muestra que hay una equivalencia entre dicho complejo y el denominado “discurso del amo”. Por último, se plantean las consecuencias tanto clínicas como prácticas del pasaje hacia la formalización; es decir, se postulan algunos posibles efectos de trasladar el psicoanálisis, en sus contenidos teóricos, del mito conceptual a la estructura lógica que subyace a dichos conceptos.