GEB, стр. 219
Напряжение и разрешение в ТТЧ.
Вывод коммутативности сложения — как музыкальная пьеса:
• Строка 28 — лемма, "временное разрешение"
• Строка 49 — "почти у цели", максимальное напряжение
• Строка 56 — финальное разрешение
"Чувство напряжения, возникающее у математиков, тесно связано с восприятием красоты."
🌀 Но в самой ТТЧ это напряжение НЕ формализовано — как музыка не является книгой о гармонии.