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