Propriété du Modèle Fini
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Propriété d'une logique ou d'une théorie formelle qui affirme que toute formule ou phrase satisfiable (ayant un modèle) admet un modèle fini.