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.

   • 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

Антоними

• Преводи

  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)