Словарь по логике
Совместимость теорий
Теории T
1
и T
2
совместимы
Cn(T
1
T
2
) синтаксически непротиворечивая теория.
© Автор статьи.