10 lines
316 B
Markdown
10 lines
316 B
Markdown
#s/maths/logique
|
|
|
|
---
|
|
Ou _complétude faible_
|
|
Soit une [[théorie logique]] $T$ dont on peut donner une définition axiomatique ou sémantique. $T$ est _sémantiquement complète_ ssi **toute [[tautologie]] est démontrable dans $T$**
|
|
|
|
Traduit le fait que **toutes les formules vraies peuvent être démontrées**
|
|
|
|
|