Modèle

Une interprétation (un univers assorti d'attributions pour les symboles non logiques d'un langage) qui rend vraie une formule particulière, un ensemble de formules ou une théorie entière ; on la décrit comme une structure qui satisfait ces énoncés.

Une structure mathématique qui attribue des significations aux symboles d'un langage formel (une signature) — un domaine muni d'interprétations pour les constantes, fonctions et relations — de sorte que les phrases du langage puissent y être évaluées comme vraies ou fausses.

Une structure mathématique constituée d'un domaine et d'interprétations des symboles d'une signature formelle (constantes, fonctions, relations) qui rend vraies dans cette structure toutes les phrases d'une théorie donnée.