Словарь по логике
Независимость теорий
Теории T
1
и T
2
независимы
(T
1
T
2
)=Ø.
© Автор статьи.