COMPLETENESS
Completeness
In general, an object is complete if nothing needs to be added to it. This notion is made more specific in various fields.The above text is a snippet from Wikipedia: Completeness
and as such is available under the Creative Commons Attribution/Share-Alike License.
completeness
Noun
- the state or condition of being complete
- 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 <math>T \vDash \phi</math> is true, then <math>T \vdash \phi</math> must also be true, for any wff φ of logic L.
The above text is a snippet from Wiktionary: completeness
and as such is available under the Creative Commons Attribution/Share-Alike License.