completeness

Енглески

Етимологија

complete +‎ -ness

Именица

completeness (usually uncountable, plural completenesses)

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.
   • Шаблон:check deprecated lang param usage

     THEOREM 37°. (Gödel's completeness theorem 1930.) In the predicate calculus H:
     (a) If $\vDash F$ [or even if $\aleph _{0}$-$\vDash F$], then $\vdash F$. If $E_{1},...,E_{k}\vDash F$ [or even if $E_{1},...,E_{k}\ \aleph _{0}$-$\vDash F$], then $E_{1},...,E_{k}\vdash F$.
     (b) [...]

Синоними

• (state of being complete): completion

Антоними

• incompleteness

Преводи

state or condition of being complete

• Bulgarian: цялостност (bg) (cjalostnost), завършеност (bg) (zavǎršenost)
• Chinese:

  Mandarin: 完整性 (zh) (wánzhěngxìng)

• Czech: úplnost f
• Esperanto: tuteco
• Finnish: täydellisyys (fi), valmius (fi)
• French: complétude (fr) f
• German: Vollständigkeit (de) f
• Hebrew: שלמות‎ f (shlemut)

• Indonesian: kelengkapan (id)
• Irish: foirfeacht f
• Italian: completezza (it) f
• Polish: całkowitość f, kompletność (pl) f, zupełność (pl) f, pełnia (pl) f
• Portuguese: completidão f
• Russian: полнота́ (ru) f (polnotá), завершёность f (zaveršónostʹ), зако́нченнность f (zakónčennnostʹ), це́лостность (ru) f (célostnostʹ)
• Spanish: completitud f
• Swedish: fullständighet (sv) c
• Turkish: bütünlük (tr)