Словарь по логике
Равнонепротиворечивость теорий
Теории T
1
и T
2
равнонепротиворечивы
T
1
непротиворечива относительно T
2
и T
2
непротиворечива относительно T
1
.
© Автор статьи.
T1 непротиворечива относительно T2 и T2 непротиворечива относительно T1. T1 непротиворечива относительно T2 и T2 непротиворечива относительно T1.