Complétude Syntaxique

Propriété d'un système déductif ou d'une théorie affirmant que pour toute formule φ du langage, soit φ est démontrable à partir du système (ou de la théorie), soit sa négation ¬φ est démontrable ; en d'autres termes, la théorie est maximalement consistante par rapport aux formules du langage.