Критерий выводимости в ИВ.

3.2.1  Формулировка теоремы.

 — тавтология

при любой интерпретации алфавита (символов переменных)

3.2.2  Понятие интерпретации.

символ переменной   переменную поставим в соответствие.

, где  — проекция на .

               ;  — только символ

               переменных, т.к.

               это заглавное слово

               формативной последо-

               вательности вида:

Где:

3.2.3  Доказательство теоремы.

формальный

вывод      

(1)