Словарь по логике

Конечно-аксиоматизируемая теория (при данном дедуктивном замыкании): Формальная теория, которая может быть определена как дедуктивное замыкание конечного множества ППФ.