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.

Principle

Relative consistency reduces the problem of proving consistency of a theory to proving consistency of a (usually better understood) base theory by demonstrating a truth-preserving translation or model-construction from the target into the base theory.

Demonstration

To show that ZF+¬CH is relatively consistent with ZF, a proof constructs, from any model of ZF, a new model in which ¬CH holds (forcing). The argument yields: if ZF has a model (i.e. is consistent), then ZF+¬CH also has a model and hence is consistent relative to ZF.

Misapplication

Interpreting relative consistency as an absolute consistency proof. A relative consistency result depends on the assumed consistency of the base theory; it does not eliminate the foundational need to justify that base theory, and one cannot claim absolute certainty about the target theory solely from relative consistency.

Consequence

Relative consistency results allow mathematicians to transfer confidence in the absence of contradiction from a well-studied theory to another theory, thereby clarifying independence and dependence phenomena and structuring consistency proofs hierarchically.

Reversal

The converse statement—if T is consistent then S is consistent—is generally a different and independent claim; relative consistency is not symmetric unless witnessed by a two-way interpretation or model construction showing mutual reducibility of inconsistency.

Boundary

Applies only insofar as one accepts the meta-theoretic resources used to build the reduction (types of models, set-theoretic assumptions, permissible interpretations). It does not yield a proof in the object theory itself, and it depends on what counts as an acceptable model-construction in the metatheory.

Semantic Tension

Tension exists between relative consistency and conservativity: conservativity guarantees no new base-language theorems, while relative consistency concerns transfer of noncontradiction. A theory can be relatively consistent over another yet not be a conservative extension, creating conceptual friction in interpretations of 'harmlessness'.

Synthesis

Relative consistency is the meta-level device by which one shows that the absence of contradictions in a trusted base theory suffices to guarantee the absence of contradictions in a target theory, typically via interpretation or model construction.