Lenguaje o cálculo formal que recibe una interpretación. Interpretar un cálculo o un lenguaje formal es dar significado a sus símbolos. Un modelo de una fórmula es aquella interpretación que la hace verdadera; un modelo de una sistema formal es aquella interpretación que hace verdaderos todos sus teoremas.