Complétude Sémantique

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Propriété d'un système déductif selon laquelle toute formule sémantiquement valide (vraie dans tous les modèles de la sémantique du système) est démontrable au sein du calcul de preuves du système.