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

Енглески

Етимологија

цомплете +‎ -несс

Именица

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

1. тхе стате ор цондитион оф беинг цомплете
2. (логиц) Тхе пропертy оф а логицал тхеорy тхат wхеневер а wфф ис валид тхен ит муст алсо бе а тхеорем. Сyмболицаллy, леттинг Т репресент а тхеорy wитхин логиц L, тхис цан бе репресентед ас тхе пропертy тхат wхеневер $T\vDash \phi$ ис труе, тхен $T\vdash \phi$ муст алсо бе труе, фор анy wфф φ оф логиц L.

   • ТХЕОРЕМ 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$.
     (б) [...]

Синоними

• (стате оф беинг цомплете): цомплетион

Антоними

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

Преводи

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

• Булгариан: цялостност (бг) (цјалостност), завършеност (бг) (завǎршеност)
• Цхинесе:

  Мандарин: 完整性 (зх) (wáнзхěнгxìнг)

• Цзецх: úплност ф
• Есперанто: тутецо
• Финнисх: тäyделлисyyс (фи), валмиус (фи)
• Френцх: цомплéтуде (фр) ф
• Герман: Воллстäндигкеит (де) ф
• Хебреw: שלמות ф (схлемут)
• (депрецатед темплате усаге) {{trans-mid}}
• Индонесиан: келенгкапан (ид)
• Ирисх: фоирфеацхт ф
• Италиан: цомплетезза (ит) ф
• Полисх: цаłкоwитоśћ ф, комплетноśћ (пл) ф, зупеłноśћ (пл) ф, пеłниа (пл) ф
• Португуесе: цомплетидãо ф
• Руссиан: полнота́ (ру) ф (полнотá), завершёность ф (завершóностʹ), зако́нченнность ф (закóнченнностʹ), це́лостность (ру) ф (цéлостностʹ)
• Спанисх: цомплетитуд ф
• Сwедисх: фуллстäндигхет (св) ц
• Туркисх: бüтüнлüк (тр)