Completeness

Енглески

Именица

1. the state or condition of being complete
2. Шаблон:Lb 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\models \varphi$ is true, then $T⊢\varphi$ must also be true, for any wff φ of logic L.
   • Шаблон:Quote-book

     THEOREM 37°. (Gödel's completeness theorem 1930.) In the predicate calculus H:
     (a) If $\models F$ [or even if ${\mathrm{\aleph }}_0$-$\models F$], then $⊢F$. If $E_1,...,E_k\models F$ [or even if $E_1,...,E_k{\mathrm{\aleph }}_0$-$\models F$], then $E_1,...,E_k⊢F$.
     (b) [...]

Синоними

• (state of being complete): completion

Антоними

• Шаблон:L

Преводи

• Bulgarian: Шаблон:T+, Шаблон:T+
• Chinese:

  Mandarin: Шаблон:T+

• Czech: Шаблон:T
• Esperanto: Шаблон:T
• Finnish: Шаблон:T+, Шаблон:T+
• French: Шаблон:T+
• German: Шаблон:T+
• Hebrew: Шаблон:T

• Indonesian: Шаблон:T+
• Irish: Шаблон:T
• Italian: Шаблон:T+
• Polish: Шаблон:T, Шаблон:T+, Шаблон:T+, Шаблон:T+
• Portuguese: Шаблон:T
• Russian: Шаблон:T+, Шаблон:T, Шаблон:T, Шаблон:T+
• Spanish: Шаблон:T
• Swedish: Шаблон:T+
• Turkish: Шаблон:T+