completeness en · NOUN
Etymology
Etymology tree English complete Proto-Germanic *-in- Proto-Indo-European *-h₂ Proto-Indo-European *-éh₂ Proto-Indo-European *-yéti Proto-Indo-European *-eh₂yéti Proto-Indo-European *-h₂ti Proto-Germanic *-ōną Proto-Germanic *-inōną Proto-Indo-European *-dyé- Proto-Germanic *-atjaną Proto-Indo-European *-tus Proto-Germanic *-þuz Proto-Germanic *-assuz Proto-Germanic *-inassuz Proto-West Germanic *-nassī Old English -nes Middle English -nesse English -ness English completeness From complete + -ness.
Meanings
- (uncountable, usually) The state or condition of being complete.
-
(uncountable, usually) 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⊨ϕ is true, then T⊢ϕ must also be true, for any wff φ of logic L.
THEOREM 37°. (Gödel's completeness theorem 1930.) In the predicate calculus H: (a) If #92;vDashF [or even if #92;aleph#95;0-#92;vDashF], then #92;vdashF. If E#95;1,...,E#95;k#92;vDashF [or even if E#95;1,...,E#95;k#92;#92;aleph#95;0-#92;vDashF], then E#95;1,...,E#95;k#92;vdashF. (b) […]
2002, Stephen Cole Kleene, Mathematical Logic, Mineola, New York: Dover Publications, →ISBN, page 314:
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| completenesse | alternative | lexicographic | |
| completenesses | Number=Plur | lexicographic |
Antonyms
unfinishedness · incompleteness
Deriveds
Synonyms
Translations (35)
ru зако́нченнность (state or condition of being complete) · pt completude (state or condition of being complete) · fr complétude (state or condition of being complete) · es completud (state or condition of being complete) · es plenitud (state or condition of being complete) · cs úplnost (state or condition of being complete) · sv fullständighet (state or condition of being complete) · es completez (state or condition of being complete) · pt completidão (state or condition of being complete) · ca completesa (state or condition of being complete) · ru завершёность (state or condition of being complete) · pl całkowitość (state or condition of being complete) · ca completud (state or condition of being complete) · hi पूर्णता (state or condition of being complete) · hi संपूर्णता (state or condition of being complete) · de Vollständigkeit (state or condition of being complete) · tr bütünlük (state or condition of being complete) · bg завърше́ност (state or condition of being complete) · ga foirfeacht (state or condition of being complete) · es completitud (state or condition of being complete) · fi valmius (state or condition of being complete) · ru це́лостность (state or condition of being complete) · id kelengkapan (state or condition of being complete) · it completezza (state or condition of being complete) · cmn 完整性 (state or condition of being complete) · eo tuteco (state or condition of being complete) · pl pełnia (state or condition of being complete) · pl kompletność (state or condition of being complete) · ca completitud (state or condition of being complete) · bg ця́лостност (state or condition of being complete) · grc ἐντέλεια (state or condition of being complete) · ru полнота́ (state or condition of being complete) · fi täydellisyys (state or condition of being complete) · he שלמות (state or condition of being complete) · pl zupełność (state or condition of being complete)