Теории классической пропозициональной логики и подстановка

В силу леммы Сушко для любой пропозициональной логики верно, что при любой подстановке прообраз множества всех тавтологий этой логики является ее теорией. Рассмотрен вопрос о взаимоотношении между множеством всех таких прообразов и множеством всех теорий для классической пропозициональной логики. Доказано, что любая непротиворечивая теория классической логики является прообразом множества всех тождественно истинных формул при некоторой подстановке. Предъявлен алгоритм, строящий такую подстановку для любой непротиворечивой конечно-аксиоматизируемой теории.
Библиография: 4 названия.