#s/maths/logique

---
Ou _complétude forte_.
Une [[théorie logique]] (axiomatique) est _fortement complète_ ssi pour toute formule $\Phi$ de la théorie, soit il existe une preuve de $\Phi$, Soit ajouter $\Phi$ aux axiomes rend la théorie [[consistance syntaxique|inconsistante]].