Mientras que Euclides presenta un sistema formal cerrado y deductivo, Hofstadter investiga cómo los sistemas formales, y las matemáticas en particular, se relacionan con la conciencia, la inteligencia y la autosignificado, cuestionando los límites de la lógica pura. Explora ideas de completitud y consistencia que Euclides sentó las bases para pensar.























