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

Относительная непротиворечивость теорий: Теория T₁ непротиворечива относительно T₂ из непротиворечивости T₂ следует непротиворечивость T₁.