La teoría de modelos incluye el concepto de interpretación de un conjunto de símbolos, en dichas interpretaciones los signos se refieren a elementos de un cierto conjunto preconstruido o conocido, la veracidad de una expresión bajo una determinada interpretación, depende de que el conjunto sobre el que se interpretan las expresiones satisfagan o no determinadas condiciones.