Статья 357

В этом случае невозможно проследить, изменялся ли элемент и почему он изменялся.
Конструктивные логики позволили перевести логический анализ на следующий уровень. Они, как можно видеть, порою достигают исключительной выразительности очень простыми средствами. Но еще в начале 70-х годов среди математиков, развивавших конструктивный подход, считалось, что конструктивная теория всегда значительно сложнее соответствующей классической. Так действительно происходит, если мы не отобрали тщательно понятия и выразительные средства, используемые для их описания. Красота конструктивного описания является аргументом в пользу того, что в наш алгоритмический язык не включено ничего лишнего, мешающего развитию его основных понятий.
Неформальный анализ далеко не единственная возможность, предоставляемая конструктивным описанием. В конструктивной математике возникает новый вид формул те, которые не являются противоречиями, но отвергаются по иным причинам.