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

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