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

 

Относительная непротиворечивость теорий
Теория T1 непротиворечива относительно T2 из непротиворечивости T2 следует непротиворечивость T1.

© Автор статьи.