Pero la precisi´on que consigue, por ejemplo, la f´ısica describiendo la naturaleza surge de las descripciones matem´aticas. As´ı, un elemento fundamental de una teor´ıa cient´ıfica es la teor´ıa matem´atica que describe formalmente el fen´omeno, la propiedad, y c´omo est´an relacionados entre ellos. Anteriormente tambi´en se ha mencionado que el desarrollo de la TGE pasa en primer lugar por desarrollar una descripci´on formal para los exocomportamientos sensibles. A la parte de la TGE que se encarga de describir formalmente los exocomportamientos sensibles se la denomina teor´ıa cognitiva de condiciones de verdad(TCCV).

3.1. Marco Matem´atico para los Exocomportamientos Sensibles El primer paso para desarrollar una teor´ıa formal sobre los exocomportamientos sensibles se corresponde con la elecci´on de un marco matem´atico que permita describir formalmente los exocomportamientos sensibles, sus causas y su relaci´on. Por ejemplo, la f´ısica utiliza: la geometr´ıa para describir el espacio, el c´alculo vectorial para la mec´anica cl´asica, y las ecuaciones diferenciales para la termodin´amica. El marco matem´atico que se usa en la TCCV para desarrollar los postulados presentados en la secci´on anterior es el de la teor´ıa de modelos(20). A menos que el lector provenga del ´area de l´ogica-matem´atica posiblemente no conozca este marco matem´atico. La teor´ıa de modelos fue desarrollada en la d´ecada de los 50's del siglo XX y su principal impulsor fue el importante matem´atico-l´ogico Alfred Tarski. La palabra modelo puede llevar a interpretaciones incorrectas de cu´al es el marco matem´atico, ya que en inform´atica la palabra se encuentra ligada al ´area de la simulaci´on con el significado de una representaci´on. Tambi´en en el caso de la f´ısica es este su significado, como cuando se habla del modelo del ´atomo o del modelo del universo. Pero el significado de la palabra modelo en la teor´ıa de modelos difiere sustancialmente del de las anteriores ´areas cient´ıficas. El sentido de la palabra modelo en la teor´ıa de modelos es el mismo que en pintura o fotograf´ıa, el modelo es el objeto que va a ser dibujado o fotografiado, y en el caso de la teor´ıa de modelos el objeto que va a ser representado. La teor´ıa de modelos estudia las relaciones entre estructuras matem´aticas y lenguajes formales. Lo que une los elementos de esos dos tipos de objetos es la sem´antica, mediante la noci´on de verdad. Se suele dar como ejemplo lo siguiente(21):
"La nieve es blanca" es verdad si, y s´olo si, la nieve es blanca.

La sem´antica conecta la frase "La nieve es blanca" con el hecho f´ısico de que la nieve es blanca. El hecho f´ısico de que la nieve es blanca se lo