Correspondance Modèle-Théorique
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Une relation qui précise comment les propriétés sémantiques et modèle-théoriques des structures mathématiques correspondent aux caractéristiques syntaxiques ou axiomatiques des théories formelles qui les décrivent.