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