Así un modelo formula_1 es una L-estructura formula_2 donde una cadena de signos o sentencia del lenguaje formal de la teoría correctamente formada puede ser interpretada y verificada (es decir, o bien la proposición o su negación se satisfacen en el modelo).