Relative Konsistenz

Eine metamathmatische Relation, die aussagt, dass wenn eine Theorie S konsistent ist, dann auch eine andere Theorie T konsistent ist; üblicherweise wird dies durch Ausstellung eines Modells von T, das aus einem Modell von S gebaut wird, oder durch Angabe einer Interpretation von T in S nachgewiesen.