Статья 334

В первом случае имеет вид, во втором. Вопрос в нашей логике по существу влияет лишь на выводимость формул. Если имеются вырожденные выводы вида – допущение и результат, то выводимо всегда, в противном случае лишь если имеется цепочка импликаций вида.
Конструктивный смысл формулы состоит в том, что у нас имеется возможность сохранять нынешнее состояние мира до бесконечности.
Вопрос 1 при содержательном конструктивном переводе сводится к тому, даны ли исходные функции нам как физически реализованные блоки, которых ограниченное количество и которые должны быть в буквальном смысле изъяты со склада и вставлены в реализуемую систему. В нашей системе любое решение этого вопроса не влияет на множество выводимых импликаций, но оно влияет на множество выводов этих импликаций, причем выводов, реализованных по-разному.
Пример. В теории с аксиомами имеется бесконечное число выводов при положительном ответе на вопрос 1 и всего один при отрицательном.