**GEB, стр. 187–189**
Доказательство vs Вывод.
**Доказательство** — неформальное, на человеческом языке.
**Вывод** — формальный, простейшие шаги.
Парадокс:
• Доказательство "просто" — каждый шаг кажется верным.
• Вывод "прост" — каждый шаг элементарен.
Но доказательство скрывает сложность языка.
А вывод — сложность астрономической длины.
🌀 "Цена за упрощение каждого шага."