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

Функциональная сила теорий относительно языка L: T₁ функционально слабее T₂ относительно языка L (LЯзык(T₁) и LЯзык(T₂)) для всякой формулы A языка L верно, что (T₁|– A => T₂|–A), но не наоборот, т.е. (T₁L)(T₂L).