Упражнение Мат.лог.

[R_otter]

Доказать :
Для любой (конечной) многозначной логики $M$ существует подходящая аксиоматическая теория

Про многозначные логики в Мендельсоне упоминается в связи с доказательствами независимости аксиом, поэтому не разбираюсь тут.
Чёто я завис. Если задача показать, что можно обойтись конечным количеством схем аксиом, то непонятно что вообще можно сказать про правила вывода. Не хотят же от меня просто системы множество аксиом которой совпадает с множеством выделенных проп. форм