цомплетенесс

Енглески

Енглески Wикипедиа хас ан артицле он:

цомплетенесс

Википедија

цомплетенесс (усуаллy унцоунтабле, плурал цомплетенессес)

тхе стате ор цондитион оф беинг цомплете
(логиц) Тхе пропертy оф а логицал тхеорy тхат wхеневер а wфф ис валид тхен ит муст алсо бе а тхеорем. Сyмболицаллy, леттинг Т репресент а тхеорy wитхин логиц L, тхис цан бе репресентед ас тхе пропертy тхат wхеневер $T\vDash \phi$ ис труе, тхен $T\vdash \phi$ муст алсо бе труе, фор анy wфф φ оф логиц L.
- Луа грешка ин Модул:qуоте ат лине 2964: Параметер 1 ис реqуиред..
  ТХЕОРЕМ 37°. (Гöдел'с цомплетенесс тхеорем 1930.) Ин тхе предицате цалцулус Х:
  (а) Иф $\vDash F$ [ор евен иф $\aleph _{0}$ - $\vDash F$ ], тхен $\vdash F$ . Иф $E_{1},...,E_{k}\vDash F$ [ор евен иф $E_{1},...,E_{k}\ \aleph _{0}$ - $\vDash F$ ], тхен $E_{1},...,E_{k}\vdash F$ .
  (б) [...]

стате ор цондитион оф беинг цомплете