Relative Consistency

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A metamathematical relation asserting that if a theory S is consistent then another theory T is consistent; typically established by exhibiting a model of T built from a model of S or by providing an interpretation of T in S.