цомплетенесс
Енглески уреди
Етимологија уреди
Именица уреди
цомплетенесс (усуаллy унцоунтабле, плурал цомплетенессес)
- тхе стате ор цондитион оф беинг цомплете
- (логиц) Тхе пропертy оф а логицал тхеорy тхат wхеневер а wфф ис валид тхен ит муст алсо бе а тхеорем. Сyмболицаллy, леттинг Т репресент а тхеорy wитхин логиц L, тхис цан бе репресентед ас тхе пропертy тхат wхеневер ис труе, тхен муст алсо бе труе, фор анy wфф φ оф логиц L.
- Луа грешка: Тхе фирст параметер (лангуаге цоде) ис миссинг..
- ТХЕОРЕМ 37°. (Гöдел'с цомплетенесс тхеорем 1930.) Ин тхе предицате цалцулус Х:
(а) Иф [ор евен иф - ], тхен . Иф [ор евен иф - ], тхен .
(б) [...]
- ТХЕОРЕМ 37°. (Гöдел'с цомплетенесс тхеорем 1930.) Ин тхе предицате цалцулус Х:
Синоними уреди
- (стате оф беинг цомплете): цомплетион
Антоними уреди
Преводи уреди
стате ор цондитион оф беинг цомплете
|