Статья 332

Действия - поиск новых данных из уже найденных.
Сравните это определение с понятием тотальной коррекции программ.
Если множество незамкнуто относительно композиции функций, то вообще не может идти речи о применении конструктивной логики в качестве инструмента планирования преобразований. Но, как показывают наши примеры, в обычных случаях естественно считать подгруппой отношений если и принадлежат то и тоже. Тогда, если имеются реализации пространство реализаций диктует нам первую конструктивную систему с единственным правилом - правилом силлогизма.
Аксиом у данной конструктивно логики нет, она приспособлена лишь для вывода одних утверждений из других в конкретных прикладных теориях, описывающих заданную систему элементарных действий.
Но правило силлогизма оказывается неадекватно нашим построениям по следующей причине.