Consistance Relative

Une relation métamathématique qui affirme que si une théorie S est consistante alors une autre théorie T est consistante ; elle est généralement établie en exhibant un modèle de T construit à partir d'un modèle de S ou en fournissant une interprétation de T dans S.