completeness

English

Wikipedia

Etymology

complete +‎ -ness

Noun

completeness (uncountable)

1. the state or condition of being complete
2. (logic) 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 $T \vDash \phi$ is true, then $T \vdash \phi$ must also be true, for any wff φ of logic L.

Antonyms

• incompleteness

Translations

state or condition of being complete

• Bulgarian: цялостност (bg) (cjalostnost), завършеност (bg) (zavǎršenost)
• Czech: úplnost (cs) f
• Esperanto: tuteco (eo)
• French: complétude (fr) f
• German: Vollständigkeit (de) f
• Hebrew: שלמות (he) (shlemut) f
• Irish: foirfeacht (ga) f

• Italian: completezza (it) f
• Polish: całkowitość (pl) f, kompletność (pl) f, zupełność (pl) f, pełnia (pl) f
• Russian: полнота (ru) (polnotá) f, завершёность (ru) (zav'eršónnost') f, законченнность (ru) (zakónčennost') f
• Spanish: completitud (es) f
• Swedish: fullständighet (sv) c
• Turkish: bütünlük (tr)