En matemáticas y lógica formal la referencia de una expresión matemática se refiere a un objeto de la estructura matemática que sirve como teoría de modelos para el lenguaje formal considerado.