Consistencia Relativa

Una relación metamatemática que afirma que si una teoría S es consistente entonces otra teoría T es consistente; normalmente se establece exhibiendo un modelo de T construido a partir de un modelo de S o proporcionando una interpretación de T en S.