Aunque no es un tratado matemático, explora las implicaciones filosóficas y las propiedades autoreferenciales que surgen en los sistemas formales y lógicos, similar al impacto de Cantor en la teoría fundacional de las matemáticas. Abre la mente a la infinidad de ramificaciones que pueden surgir de la formalización.























