Re: Доказательство - предмет не логики, а ... семантики!
Вроде понял в чем дело. Доказательство не есть "монотонная и простая" конструкция. Она содержит, с одной стороны, доказательность, то есть практику непростого сведения неочевидного к очевидному, возможное в силу того, что очевидное подразумевает известную строгость (равно исключает неравно и т.п.). И еще оно содержит путь доказательства, не обязательно один и тот же, существует масса доказательств теоремы Пифагора. Я в данном рассуждение собираюсь ограничиться доказательностью.

Вопрос, который вы поднимаете - о "пути доказательства", о творческом решении; это своя тема. Если не лень, посмотрите, я на сайте держу один один переводик. Проблема "пути доказательства" - это проблема обычной творческой задачи, такой, как и любая другая творческая задача. Эти проблемы, как я думаю, следует разделять.