Modèle

 Deux sens :

Premier sens :

 interprétation : attribution d'un sens à des énoncés formels de sorte qu'ils soient vérifiés

La géométrie devient un modèle d'un langage formel, plutôt que la formalisation de propriétés idéalisées à partir d'observation de l'espace sensible.

Étude des relations entre ensembles d'énoncés et ensembles de modèles de ces énoncés.

Un modèle d'un énoncé fait dans un langage formel est une interprétation  (association d'un sens aux symboles du langage formel) où cet énoncé est vrai.

Deuxième sens :

 associer à une "réalité empirique" un énoncé formel.

Minsky : Un objet O est un modèle d'une réalité R si O permet des répondre aux questions que l'on se pose sur R