Доказать :
Для любой (конечной) многозначной логики

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