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

 

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

© Автор статьи.