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

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

- тавтология

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

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

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

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

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

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

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

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

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

Где:

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

формальный

вывод

(1)