Provability 🎲
The property of a statement being demonstrable by a valid proof within a formal system.
Формы слова (1)
| Provability | lemma |
Формы (1)
| قابلية الإثبات | lemma |
Формы (1)
| Beweisbarkeit | lemma |
Формы (1)
| Demostrabilidad | lemma |
Формы (1)
| Démontrabilité | lemma |
Формы (1)
| प्रमाणनीयता | lemma |
Формы (1)
| Demonstrabilidade | lemma |
Формы (1)
| Kanıtlanabilirlik | lemma |
Формы (1)
| 可证明性 | lemma |
Пока нет связанных полок. Скоро появятся.
🌐 English — Provability
The property of a statement being demonstrable by a valid proof within a formal system.
🌐 中文 — 可证明性
命题在形式系统中能够通过有效证明被证明的性质。
🌐 العربية — قابلية الإثبات
خاصية كون العبارة قابلة للإثبات بواسطة برهان صحيح داخل نظام صوري.
🌐 Español — Demostrabilidad
Propiedad de una afirmación que puede ser demostrada mediante una prueba válida dentro de un sistema formal.
🌐 Français — Démontrabilité
Propriété d'une affirmation qui peut être démontrée par une preuve valide dans un système formel.
🌐 de — Beweisbarkeit
Die Eigenschaft einer Aussage, innerhalb eines formalen Systems durch einen gültigen Beweis bewiesen werden zu können.
🌐 pt — Demonstrabilidade
Propriedade de uma afirmação que pode ser demonstrada por uma prova válida dentro de um sistema formal.
🌐 tr — Kanıtlanabilirlik
Bir önermenin biçimsel bir sistem içinde geçerli bir kanıtla kanıtlanabilme özelliği.
🌐 hi — प्रमाणनीयता
किसी कथन का औपचारिक प्रणाली में वैध प्रमाण द्वारा सिद्ध किए जाने योग्य होने का गुण।