What is completeness? completeness is completude
What is completude?
- the state or condition of being complete
o estado ou condição de estar completo
- The property of a logical theory that whenever a wff is valid then it must also be a theorem. Symbolically, letting T represent a theory within logic L, this can be represented as the property that whenever is true, then must also be true, for any wff φ of logic L.
A propriedade de uma teoria lógica que sempre que um FBF é válido então deve também ser um teorema. Simbolicamente, deixando T representam uma teoria lógica L, isto pode ser representado como a propriedade que sempre que é verdade, então também deve ser verdadeira, para qualquer FBF φ da lógica L.