denomina condici´on de verdad. La teor´ıa de modelos diferencia tres tipos de objetos: modelos, lenguajes formales e interpretaciones. Los modelos son los objetos que se pueden representar, los lenguajes formales las representaciones, y las interpretaciones son los elementos que indican que parte de un modelo est´a representando un t´ermino, o una f´ormula, de un lenguaje formal. Pero, ¿por qu´e este marco y no otro? Bien, para construir una teor´ıa general formal sobre los fen´omenos de los exocomportamiento sensibles, la definici´on del tipo de exocomportamiento sensible exige que en el marco matem´atico se diferencie perfectamente entre lo representado y la representaci´on. La teor´ıa de modelos cumple con esta condici´on, diferencia perfectamente entre lo representado y la representaci´on. A continuaci´on, se mostrar´a un ejemplo sencillo que ilustra el marco de la teor´ıa de modelos. En la teor´ıa de modelos, un modelo es una estructura matem´atica. El siguiente ejemplo usa una estructura que ser´a familiar, la relaci´on de orden.

Sea la estructura matem´atica O = (O, <) donde O = {1, 2, 3} y la relaci´on de orden es < = { 1 < 2, 1 < 3, 2 < 3 } . Por otro lado se define un lenguaje de primer orden con igualdad (variables, constantes, cuantificadores, s´ımbolos auxiliares), L(O), adecuado a la estructura. El lenguaje se compone de f´ormulas y cada una expresa algo sobre la estructura matem´atica. Un tipo de f´ormulas muy especiales son los axiomas. La raz´on de su importancia es que mediante los axiomas se puede caracterizar a un conjunto de muchas estructuras, llamado clase, y si de los axiomas se deriva un teorema, este se cumplir´a en todas las estructuras de la clase. En el caso de la clase de los estructuras de orden sus axiomas son:

$$\begin{array}{l}{{-\neg\exists x\in\mathbf{O}}}\\ {{-\neg\exists x,y\in\mathbf{O}}}\\ {{-\forall\,x,\ y,\ z\in\mathbf{O}}}\end{array}$$
$$x\,<\,x$$
$$\begin{array}{r l r}{x<y}&{{}\land}&{y<x}\\ {x<y}&{{}\land}&{y<z\Longrightarrow x<z}\end{array}$$

−¬∃x ∈ O **x < x**
−¬∃x, y ∈ O x < y ∧ **y < x**
−∀ x, y, z ∈ O x < y ∧ y < z =⇒ **x < z**
Pero las f´ormulas tambi´en pueden decir cosas m´as concreta como 1 < 3 y 3 < 1. Por supuesto, lo que interesa es saber si lo que se dice sobre la estructura es verdad, para ello la teor´ıa de modelos utiliza un elemento llamado interpretaci´on, I, que consiste en una funci´on que hace corresponder a elementos del lenguaje formal con elementos de la estructura matem´atica. De este modo se dice que OI  1 < 3 OI 1 3 < 1 donde el s´ımbolo  significa "es modelo" y 1 "no es modelo".