Mientras que 'Principia Mathematica' intenta construir un sistema lógico fundamental para las matemáticas, 'Gödel, Escher, Bach' examina la capacidad de los sistemas formales, incluida la mente humana, para la autorreferencia y, por extensión, para trascender los límites de tales sistemas. Conecta no con el intento de formalización, sino con las implicaciones y límites intrínsecos a esa formalización, de una manera rica y no directamente filosófica-formal.























