Théorème de Correction

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Un métathéorème qui garantit que toute formule démontrable dans un système déductif formel donné est aussi sémantiquement valide dans la classe de modèles visée ; la dérivabilité syntaxique implique la vérité au sens des modèles.