En matemáticas y lógica una interpretación es una aplicación desde un conjunto de fórmulas o axiomas, en un modelo que es un conjunto en el que se ha definido una estructura.