Modelo

Una interpretación (un dominio junto con asignaciones para los símbolos no lógicos de un lenguaje) que hace verdadera una fórmula, un conjunto de fórmulas o una teoría completa; se describe como una estructura que satisface esos enunciados.

Una estructura matemática que asigna significados a los símbolos de un lenguaje formal (una firma): un dominio junto con interpretaciones de constantes, funciones y relaciones, de modo que las oraciones del lenguaje puedan evaluarse como verdaderas o falsas en esa estructura.

Una estructura matemática formada por un dominio junto con interpretaciones de los símbolos de una firma formal (constantes, funciones, relaciones) que hace verdaderas en esa estructura todas las oraciones de una teoría dada.