Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.

No se ha añadido ninguna twiki todavía.

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.