Se conoce como enunciados autorreferenciales a aquellos enunciados que hacen referencia a sí mismos. El fenómeno de la autorreferencia es filosóficamente interesante pues parece ser el origen de ciertas paradojas. ¿Qué nos pueden decir los enunciados autorreferenciales respecto a las distintas propiedades de los sistemas formales? Creo que responder esta pregunta no sólo permite saber más con respecto al poder de expresión de nuestros sistemas formales, sino hasta qué puntos podemos utilizar la lógica como herramienta de análisis y cuáles deben ser las propiedades relevantes de un sistema formal para ser considerado como lógica.

El objetivo de esta investigación es analizar y discutir los resultados generados al tratar ciertos enunciados autorreferenciales, pues muchas paradojas relevantes en lógica tienen la forma de un enunciado autorreferencial. Con base en el trabajo de Noson S. Yanofsky se puede mostrar que muchas de las paradojas de autorreferencia, teoremas de incompletud y algunos teoremas de punto fijo comparten un mismo esquema, partiendo de esta investigación se pueden obtener datos relevantes para el estudio de sistemas formales, en el caso de este trabajo me centraré en lo que respecta a la consistencia y com