O que é completeness? completeness é Vollständigkeit
O que é Vollständigkeit?
- the state or condition of being complete
Zustand oder Bedingung der Vollständigkeit
- 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 is true, then must also be true, for any wff φ of logic L.
Die Eigenschaft einer logischen Theorie, dass, wenn ein wff gültig ist, dann muss es auch ein Satz sein. Symbolisch, lassen T eine Theorie innerhalb der Logik L darstellen, kann dies als die Eigenschaft dargestellt werden, die, wann immer wahr ist, dann muss auch wahr sein, für jede wff φ der Logik L.