В ходе обсуждений развертывается тема формально неразрешимых суждений, проблем неполноты и неполным কেন্দров в системах арифметики и логики. Возникает напряжение между интуитивными представлениями о доказательствах и строгими требованиями формальной логики. Главный герой — в роли исследователя и участника диалога — сталкивается с тем, что логические системы не могут закрыто и полно описать себя без возникновения парадоксов или неполных утверждений, что приводит к необходимости пересматривать привычные ожидания от доказательств и истинности утверждений.

Персонажи вынуждены принимать сложные решения по признанию отдельных гипотетических утверждений, чтобы перейти к последующим выводам, что напоминает процесс постепенного расширения систем аксиом. Это отражает более глубокий логический процесс, в котором любое утверждение требует обоснования, а каждая попытка окончательно закрепить истину сталкивается с необходимостью принимать дополнительные условия. Развитие сюжета сконцентрировано на демонстрации интригующей природы формальных систем, их ограничений и взаимосвязей между элементами самореференции, которые неизменно влияют на возможности и пределы логического рассуждения.

Основное внимание уделено теме самореференции и отображению одной системы в другую, что порождает как удивительные совпадения, так и трудноразрешимые парадоксы. Эта дилемма становится центральной для всей книги и служит общим стержнем обсуждений и диалогов. Результатом является понимание того, что любое формальное описание, каким бы исчерпывающим оно ни казалось, содержит элементы, которые невозможно полностью охватить без включения дополнительных предпосылок или внешней перспективы. Таким образом, книга подчёркивает важность осознания ограничений формального знания и специфики логических систем.

Дуглас Роберт Хофштадтер, Марина Викторовна Эскина в своей работе «Гёдель, Эшер, Бах. Эта бесконечная гирлянда» создают образ сложной интеллектуальной задачи, в центре которой — осмысление формальных систем, их возможностей и границ, а также роль самореференции и переводов между различными уровнями описания.