| dbo:description
|
- proposizione formata da ipotesi, tesi e dimostrazione (it)
- במתמטיקה - פסוק שניתן להוכיח אותו במסגרת מערכת אקסיומות מסוימת (iw)
- olyan állítás, ami korábban bizonyított állításokra alapozva be lett bizonyítva (hu)
- 数理論理学および数学において、証明された真なる命題 (ja)
- утверждение, для которого существует доказательство (обычно в математике) (ru)
- गणित व तर्कशास्त्र की एक अवधारणा (hi)
- fórmula matemática que puede ser demostrada dentro de un sistema formal (es)
- گزارهای در ریاضی که توسط گزارهٔ پیشین درستی آن اثبات شده (fa)
- proposition qui peut être mathématiquement démontrée (fr)
- تقرير غير مُسلّم أُثبِتت صِحتّه بناءً على مُسلّمات علمية أو رياضية أو منطقية، المبرهنة دائماً صحيحة ولا تقبل الشك (ar)
- bewering in de wiskunde (nl)
- bewiesene Aussage in der Mathematik (de)
- in mathematics, a statement that has been proved (en)
- matematický výrok, který je možno dokázat (cs)
- matematiikassa propositio, joka on tosi (fi)
- ארויסזאג וואס מ'האט דערוויזן מאטעמאטיש (ji)
- pruvita matematika aserto (eo)
- typ zdania oznajmującego (pl)
- математичко тврдење кое е докажано (mk)
- твердження у математиці, для якого в теорії, що розглядається, існує доказ (доведення) (uk)
- у математици тврдња која је доказана (sr)
- (inom matematik och logik) ett vetenskapligt påstående som kan bevisas (sv)
- proposição com demonstração matemática rigorosa (pt)
- 基於既定陳述之上所證明出的陳述 (zh)
- proposició matemàtica demostrable en un sistema formal (ca)
|
