|
"(inom matematik och logik) ett vetenskapligt påstående som kan bevisas"@sv
"bewering in de wiskunde waarvoor bewijs bestaat"@nl
"bewiesene Aussage in der Mathematik"@de
"fórmula matemática que puede ser demostrada dentro de un sistema formal"@es
"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
"olyan állítás, ami korábban bizonyított állításokra alapozva be lett bizonyítva"@hu
"proposició matemàtica demostrable en un sistema formal"@ca
"proposition qui peut être mathématiquement démontrée"@fr
"proposizione formata da ipotesi, tesi e dimostrazione"@it
"proposição com demonstração matemática rigorosa"@pt
"pruvita matematika aserto"@eo
"typ zdania oznajmującego"@pl
"în matematică, o afirmație ce a fost demonstrată"@ro
"математичко тврдење кое е докажано"@mk
"матэматычнае сьцьверджаньне, для якога існуе доказ"@be-tarask
"твердження у математиці, для якого в теорії, що розглядається, існує доказ (доведення)"@uk
"у математици тврдња која је доказана"@sr
"у математици тврдња која је доказана"@sr-ec
"утверждение, для которого существует доказательство (обычно в математике)"@ru
"ארויסזאג וואס מ'האט דערוויזן מאטעמאטיש"@yi
"במתמטיקה - פסוק שניתן להוכיח אותו במסגרת מערכת אקסיומות מסוימת"@he
"تقرير غير مُسلّم أُثبِتت صِحتّه بناءً على مُسلّمات علمية أو رياضية أو منطقية، المبرهنة دائماً صحيحة ولا تقبل الشك"@ar
"تقرير غير مُسلّم أُثبِتت صِحتّه بناءً على مُسلّمات علمية أو رياضية أو منطقية، المبرهنة دائماً صحيحة ولا تقبل الشك"@ary
"گزارهای در ریاضی که توسط گزارهٔ پیشین درستی آن اثبات شده"@fa
"गणित व तर्कशास्त्र की एक अवधारणा"@hi
"गणितमे एक कथन जे सिद्ध हो गेलहे"@mag
"ပိူင်မီႈပၢႆးၼပ်ႉ ဢၼ်ၼႄလၵ်းထၢၼ်ယဝ်ႉ"@shn
"基於既定陳述之上所證明出的陳述"@zh
"基於既定陳述之上所證明出的陳述"@zh-hant
"基於既定陳述之上所證明出的陳述"@zh-tw
"数理論理学および数学において、証明された真なる命題"@ja
"참임이 증명된 명제"@ko
|