| Arabic |
| has gloss | ara: المبرهنة theorem قضية افتراضية (بمعنى جملة خبرية : تحتمل الصدق والكذب) proposition قد تم البرهنة عليها وإثباتها أو انها مطلوب إثباتها، وذلك بناء على افتراضات واضحة محددة explicit assumptions. يعتبر برهنة المبرهنات إحدى أهم فعاليات الرياضيين. |
| lexicalization | ara: مبرهنات |
| lexicalization | ara: مبرهنة |
| Asturian |
| lexicalization | ast: Teoremes |
| Azerbaijani |
| has gloss | aze: Teorem (yun. θεώρημα). Doğruluğu digər məlum təkliflər və aksiomlar əsasında isbat olunan təkliflərə (mülahizələrə) teorem deyilir. Verilmiş bir teorem müxtəlif şəkillərdə ifadə oluna bilər. |
| lexicalization | aze: Teoremlər |
| lexicalization | aze: teorem |
| Belarusian |
| has gloss | bel: Тэарэ́ма (па-грэцку: theorema — ад theoreo разглядаю, даследую) — матэматычнае выказванне, праўдзівасць якога даказваецца шляхам лагічных разважанняў, шляхам выкарыстання выключна правілаў фармальнага вываду для пабудовы фармальнага вываду з мноства зыходных спасылак (аксіём) у межах нейкай аксіяматычнай тэорыі. |
| has gloss | bel: Тэарэ́ма ( — «выгляд, паданне, становішча») — сцвярджэнне, для якога ў разгляданай тэорыі існуе доказ (інакш гаворачы, выснова). Асобным выпадкам тэарэм з'яўляюцца аксіёмы, якія прымаюцца праўдзівымі без усякіх доказаў або абгрунтаванняў. Для аксіём доказам служыць пустуая выснова. |
| lexicalization | bel: тэарэма |
| lexicalization | bel: Тэарэмы |
| Bengali |
| has gloss | ben: উপপাদ্য হলো এক প্রকারের প্রস্তাবনা, যা কিছু প্রাথমিক ধারণার ভিত্তিতে প্রমাণ করা হয়। গণিতের ভাষায়, উপপাদ্যের দুইটি অংশ রয়েছে - * আনুষ্ঠানিক ভাবে কিছু প্রাক-ধারণা (assumption) এর উল্লেখ * একটি প্রস্তাবনা, যা উপরোক্ত প্রাক-ধারণার ভিত্তিতে প্রমাণ করতে হবে |
| lexicalization | ben: উপপাদ্য |
| Bosnian |
| has gloss | bos: Teorem ili teorema je iskaz u kojem se uočava da neki matematički pojam (uz, možda, još neke uslove) ima još neke karakteristike osim onih danih u definiciji tog pojma (npr. da je 1>0) i ta se tvrdnja mora dokazati. Dok se tvrdnja ne dokaže, tu tvrdnju zovemo propozicijom, hipotezom. |
| lexicalization | bos: Teoremi |
| lexicalization | bos: teorem |
| Bulgarian |
| has gloss | bul: Теоремата е доказано логическо твърдение. Доказването на теореми е основна част от математиката. Понятието "теорема" е различно от "теория". |
| lexicalization | bul: теорема |
| lexicalization | bul: Теореми |
| Catalan |
| has gloss | cat: Un teorema és una clàusula que es pot demostrar vertadera en un marc lògic determinat. |
| lexicalization | cat: teorema |
| lexicalization | cat: Teoremes |
| Czech |
| has gloss | ces: V matematice se jako věta označuje důležité netriviální a dostatečně obecné tvrzení neboli výrok. |
| lexicalization | ces: Matematická věta |
| Danish |
| has gloss | dan: En matematik sætning (synonym: teorem, bruges sjældent i ren matematik) er en sandhed inden for et formelt system. Det formelle system fastlægges normalt gennem antagelsen af visse aksiomer (grundantagelser), som ikke bevises. |
| lexicalization | dan: sætning |
| German |
| has gloss | deu: Ein Theorem (von griechisch theorema = ‚das Angeschaute‘) oder Lehrsatz ist eine Aussage innerhalb einer Theorie, die aus den Grundannahmen der Theorie mit Mitteln der Theorie hergeleitet wird. Sie wird von den Vertretern der Theorie als wahr anerkannt. |
| lexicalization | deu: Theorem |
| Modern Greek (1453-) |
| has gloss | ell: Στην τυπική μαθηματική λογική, η έννοια θεώρημα μπορεί να ερμηνευθεί ως μια μαθηματική πρόταση που μπορεί να παραχθεί σύμφωνα με τους συμπερασματικούς κανόνες ενός συγκεκριμένου τυπικού συστήματος. Οι προτάσεις μιας θεωρίας όπως εκφράζονται σε μια τυπική γλώσσα ονομάζονται τα στοιχειώδη θεωρήματά της, και λέγεται ότι είναι αληθή. |
| lexicalization | ell: θεώρημα |
| Esperanto |
| has gloss | epo: Teoremo estas matematika aserto, kiun demonstras pere de aliaj jam akceptitaj asertoj. Por pruvi teoremon, oni uzas nociojn, aksiomojn, postulatojn, antaŭe pruvitajn teoremojn kaj lemojn (malpli gravajn teoremojn). Ĉiu branĉo de matematiko konsistas el aro teoremoj, pruvitaj unu post la alia. |
| lexicalization | epo: Teoremoj |
| lexicalization | epo: teoremo |
| Estonian |
| has gloss | est: Teoreem (kreeka sõnast θεώρημα) on propositsioon, mille tõesus tõestatakse tuginedes aksioomidele ja tõestatud teoreemidele. |
| lexicalization | est: Teoreem |
| Persian |
| has gloss | fas: قَضیه در منطق، گزارهای است که بر اساس فرضیات دقیقی درستی آن ثابت شده یا باید ثابت شود. قضیه، ترجمهای است از واژه یونانی «تهئورم» که به معنای «اندیشیدن» است. |
| lexicalization | fas: قضیه |
| lexicalization | fas: نظریهها |
| Finnish |
| has gloss | fin: Lause eli teoreema tarkoittaa matematiikassa propositiota, joka on tosi. |
| lexicalization | fin: lause |
| French |
| has gloss | fra: Un théorème est une proposition qui peut être mathématiquement démontrée, cest-à-dire une assertion qui peut être établie comme vraie au travers dun raisonnement logique construit à partir daxiomes. Un théorème est à distinguer dune théorie. |
| lexicalization | fra: théorème |
| Gaelic |
| has gloss | gla: ’S e smuanairt a tha dearbhte a th’ ann an teòirim. Ann am matamataig, ’s e ràdh matamatagach a tha air a chur an cèill ann an riochd a ghabhas dearbhadh no breugnachadh a th’ ann an smuanairt, agus ma tha e air a dhearbhadh fo riaghailtean matamataige ’s e teòirim a th’ ann. Mur eil dearbhadh aig an smuanairt ach thathar a’ creidsinn gu bheil e fìor agus thathar a’ sùileachadh gun tig dearbhadh air a’ cheann thall, chan e teòirim ach baralachas a th’ ann. |
| lexicalization | gla: Teoirim |
| lexicalization | gla: teòirim |
| Galician |
| has gloss | glg: Un teorema é unha afirmación que pode ser demostrada como verdadeira dentro dun marco lóxico. Demostrar teoremas é o xogo central na matemática. |
| lexicalization | glg: Teoremas |
| lexicalization | glg: teorema |
| Serbo-Croatian |
| has gloss | hbs: Teorem je iskaz u kojem se uočava da neki matematički pojam (uz, možda, još neke uvjete) ima još neke karakteristike osim onih danih u definiciji tog pojma (npr. da je 1>0) i ta se tvrdnja mora dokazati. Dok se tvrdnja ne dokaže, tu tvrdnju zovemo propozicijom, hipotezom. |
| lexicalization | hbs: teorem |
| Hebrew |
| has gloss | heb: במתמטיקה, משפט הוא הצהרה שניתן להוכיח אותה במסגרת מערכת אקסיומות מסוימת. הוכחת משפטים היא מהפעילויות המרכזיות במתמטיקה. |
| lexicalization | heb: משפט |
| Hindi |
| has gloss | hin: प्रमेय (Theorem) का शाब्दिक अर्थ है - ऐसा कथन जिसे प्रमाण द्वारा सिद्ध किया जा सके। इसे साध्य भी कहते हैं। |
| lexicalization | hin: प्रमेय |
| Croatian |
| has gloss | hrv: Teorem ili poučak je iskaz u kojem se uočava da neki matematički pojam (uz, možda, još neke uvjete) ima još neke karakteristike osim onih danih u definiciji tog pojma (npr. da je 1>0) i ta se tvrdnja mora dokazati. Dok se tvrdnja ne dokaže zovemo je hipotezom. |
| lexicalization | hrv: teorem |
| Ido |
| has gloss | ido: Teoremo esas demonstrebla matematikala propoziciono. |
| lexicalization | ido: Teoremo |
| Indonesian |
| has gloss | ind: Teorema adalah sebuah pernyataan, sering dinyatakan dalam bahasa alami, yang dapat dibuktikan atas dasar asumsi yang dinyatakan secara eksplisit ataupun yang sebelumnya disetujui. Dalam logika, sebuah teorema adalah pernyataan dalam bahasa formal yang daat diturunkan dengan mengaplikasikan aturan inferensi dan aksioma dari sebuah sistem deduktif. |
| lexicalization | ind: Teorema |
| Icelandic |
| has gloss | isl: :Sjá aðgreiningarsíðuna til að sjá aðrar merkingar orðsins „Setning“. Setning er, í stærðfræði, formleg rökyrðing sem er lögð fram sem tilgáta. Hún telst sönn ef og þá aðeins ef að hún hefur verið sönnuð, en slík sönnun má fela í sér einföldun vandamálsins að öðrum þekktum og sönnuðum setningum eða frumsemdum, eða rökfræðilega útleiðslu. |
| lexicalization | isl: setning |
| Italian |
| has gloss | ita: Teorema in greco significa: cosa che si guarda, su cui si specula; sul piano etimologico il termine si avvicina a teoria (da τίθημι). |
| lexicalization | ita: teorema |
| lexicalization | ita: Teoremi |
| Javanese |
| has gloss | jav: Téoréma yakuwi gagasan jroning matématika sing bisa dibultèkaké. Téoréma dibuktèkaké nganggo logika lan téoréma liyané sing wis kabukti. |
| lexicalization | jav: Téoréma |
| Japanese |
| has gloss | jpn: 定理（ていり、theorem）とは、数理論理学および数学において、証明された真なる命題をいう。 |
| lexicalization | jpn: 定理 |
| Georgian |
| has gloss | kat: თეორემა (ბერძნ. theorema, განვიხილავ, ვწონი) - წინადადება რაიმე დედუქციურ მეცნიერებაში, რომელიც დამტკიცების საშუალებითაა დადგენილი. დედუქციურ მეცნიერებაში თითოეული თეორემა მტკიცდება ადრე დამტკიცებული თეორემების და/ან პირველადი წინადადებების, ე.წ. აქსიომების საფუძველზე. |
| lexicalization | kat: თეორემა |
| lexicalization | kat: თეორემები |
| Kazakh |
| has gloss | kaz: Теоре́ма ( — «түр, сипат, тұжырым») — берілген теорияда дәлелдеуі (немесе қорытындысы) бар тұжырым. Теореманың жекеше түрі болып табылатын аксиомалар еш дәлелдеусіз, тәржімесіз қабылданады. |
| lexicalization | kaz: теорема |
| Central Khmer |
| lexicalization | khm: ទ្រឹស្តីបទ |
| Korean |
| has gloss | kor: 수학에서 정리는 가정으로부터 증명된 명제를 말한다. 좁은 의미로는, 그와 같은 명제들 중에서 중요한 것만을 일컫는다. 이런 의미에서의 정리를 증명하기 위해 사용되는 보조적인 명제를 보조정리(lemma)라 하고, 정리로부터 쉽게 도출되는 부가적인 명제를 따름정리(corollary)라 한다. |
| lexicalization | kor: 정리 |
| Latvian |
| lexicalization | lav: Teorēmas |
| Lithuanian |
| has gloss | lit: Teorema ( = tezė, reikalaujanti įrodymo; = požiūris, tezė) – dedukcinės teorijos teiginys, kurio teisingumas patvirtinamas įrodymu, remiantis anksčiau įrodytomis teoremomis ir apsibrėžtomis aksiomomis. |
| lexicalization | lit: teorema |
| Macedonian |
| has gloss | mkd: Теоремата, во основа, е логички исправно тврдење чија точност може да се утврди. Семантички гледано, теорема, тврдење и став (барем во математиката) имаат исто значење. За нив нужно е врзан доказ. Теоремите се основно средство за проширување на математичкото знаење, т.е. тие се креативни, за разлика од дефинициите и аксиомите кои се некреативни. Тесно поврзани со теоремите се уште два поима: лема и последица. Лемите може да им претходат на теоремите, како еден вид пред-тврдења, додека последиците може следат по теоремите, како разгледување на специјални случаи кога условите на теоремата се исполнети. |
| lexicalization | mkd: теорема |
| lexicalization | mkd: Теореми |
| Mongolian |
| has gloss | mon: Теорем нь логик ба математикт батлагдсан үнэн өгүүлбэрийг хэлнэ. |
| lexicalization | mon: Теоремууд |
| lexicalization | mon: теорем |
| Dutch |
| has gloss | nld: In de wiskunde is een stelling (ook theorema, propositie of these) een bewering, die op basis van axioma's en eerder bewezen beweringen is bewezen. Om een stelling te bewijzen gebruikt men in de wiskunde de regels van de logica. De afleiding van een stelling wordt vaak geïnterpreteerd als een bewijs van de waarheid van de resulterende uitdrukking, maar, afhankelijk van de betekenis van de afleidingsregels kunnen verschillende deductieve systemen verschillende interpretaties opleveren. Stellingen hebben twee componenten, die respectievelijk de hypothesen en de conclusies worden genoemd. Het bewijs van een wiskundige stelling is een logische redenering, waaruit blijkt dat de conclusies een noodzakelijke gevolgtrekking op basis van de hypothesen zijn, in de zin dat als de hypothesen waar zijn, dat dan de conclusies ook waar moeten zijn, en dit zonder verdere aannames. |
| lexicalization | nld: stelling |
| Norwegian Nynorsk |
| lexicalization | nno: Teorem |
| Norwegian |
| has gloss | nor: Et teorem er en læresetning med en bevist gyldighet. Ordets betydning på gresk er bokstavelig oversatt til det som er sett. |
| lexicalization | nor: Teorem |
| Polish |
| has gloss | pol: Twierdzenie to sformalizowana wypowiedź sądu, stosowana we wszystkich naukach ścisłych, składająca się z dwóch zbiorów zdań, które łączy relacja implikacji. Pierwszy zbiór zdań określa ściśle warunki dla których dane twierdzenie jest spełnione i nazywa się założeniem twierdzenia, a drugi zbiór zdań jest sądem właściwym, będącym istotną treścią wypowiadanego twierdzenia i zwany jest tezą twierdzenia. |
| lexicalization | pol: twierdzenie |
| Portuguese |
| has gloss | por: Teorema é um termo introduzido por Euclides, em Elementos, para significar "afirmação que pode ser provada". Em grego, originalmente significava "espetáculo" ou "festa". Atualmente, é mais comum deixar o termo "teorema" para apenas certas afirmações que podem ser provadas e de grande "importância matemática", o que torna a definição um tanto subjetiva. |
| lexicalization | por: Teoremas |
| lexicalization | por: teorema |
| Moldavian |
| has gloss | ron: Teorema reprezintă o afirmaţie al cărei adevăr se stabileşte prin demonstraţie. |
| lexicalization | ron: Teoreme |
| lexicalization | ron: teoremă |
| Russian |
| has gloss | rus: Теоре́ма ( — «зрелище, вид; взгляд; представление, положение») — утверждение, для которого в рассматриваемой теории существует доказательство (иначе говоря, вывод). Частным случаем теорем являются аксиомы, которые принимаются истинными без всяких доказательств или обоснований. Для аксиом доказательством служит пустой вывод. |
| lexicalization | rus: теорема |
| lexicalization | rus: Теоремы |
| Sicilian |
| has gloss | scn: Ntâ matimatica pi tiurema si ntenni nenunciatu chi veni dimustratu cu lusu di deduzzioni loggichi a partiri di na seri di assiomi e di la cunsiquenti tiuria furmali di pruposizzioni , lemmi, curullari e àutri proprità chi ni cunsècunu. Lu tiurema si diffirenzia di nu lemma e di nu curullariu, pi lu mpurtanza dô risurtatu chi enuncia. Li lemmi sunnu enunciati chi s'addimostranu dila stissa manera, ma chi hannu nu ntiressi tecnicu, prichì servunu a dimustrari nu risurtatu cchiù grossu. Lu è nveci na cunsiquenza facili di dimustrari di nu risurtatu o tiurema cchiù mpurtanti. |
| lexicalization | scn: tiurema |
| lexicalization | scn: Tiurèma |
| Slovak |
| has gloss | slk: Teoréma je v logike veta / výrok / poučka, získaná z axióm vedeckej teórie, alebo všeobecnejšie z axióm a výrokov skôr dokázaných. Hovorovo je to synonymum pre poučku či vetu. |
| lexicalization | slk: Teoréma |
| Slovenian |
| has gloss | slv: Izrèk (ali teorém, grško : theórema - videz, predstava, prizor; izrek) je trditev (predpostavka, postavka, propozicija) oziroma nedokazano načelo, ki je bila ali bo dokazana v poljubnem logičnem sistemu na podlagi nedvoumnih privzetkov. Dokazovanje izrekov je glavna dejavnost matematike. Izrek se razlikuje od teorije. Lahko tudi nekako rečemo, da izrek, v nasprotju z aksiomom, ni samoumeven. |
| lexicalization | slv: izrek |
| Castilian |
| has gloss | spa: Un teorema es una afirmación que puede ser demostrada como verdadera dentro de un marco lógico. Demostrar teoremas es el asunto central en la matemática. |
| lexicalization | spa: Teoremas |
| lexicalization | spa: teorema |
| Sardinian |
| has gloss | srd: Teorema in grecu ollit nai: cosa chi si castiat, asuba a chi si pensat; in su pianu etimologicu su fueddu est simbili a teoria (da τίθημι). |
| lexicalization | srd: teorema |
| Serbian |
| has gloss | srp: Теорема (латински theōrēma, од грчког theōrein, посматрати) је идеја чија се истинитост може доказати принципима дедуктивног закључивања. Разликује се од аксиома по томе што се њена истинитост може утврдити и за то служи поступак доказивања, односно извођења доказа. |
| lexicalization | srp: теорема |
| lexicalization | srp: Теореме |
| Swedish |
| has gloss | swe: Ett teorem är inom matematisk logik en härledbar formel i ett formellt system. Termen skall inte förväxlas med den matematiska termen sats (matematik). |
| lexicalization | swe: teorem |
| Thai |
| lexicalization | tha: ทฤษฎีบท |
| Turkish |
| lexicalization | tur: Teoremler |
| lexicalization | tur: Teorem |
| Ukrainian |
| has gloss | ukr: Теоре́ма ( — «вигляд, уявлення, положення») — твердження, для якого в теорії, що розглядається, існує доказ (інакше кажучи, доведення). Вихідним пунктом для теорем є аксіоми, які приймаються істинними без всяких доказів або обгрунтувань. |
| lexicalization | ukr: теорема |
| lexicalization | ukr: Теореми |
| Vietnamese |
| has gloss | vie: Một định lý toán học là một mệnh đề toán học đã được, hoặc cần được chứng minh dựa trên một số hữu hạn các tiên đề và quá trình suy luận. Chứng minh các định lý là hoạt động chủ yếu trong ngành toán học. |
| lexicalization | vie: định lý toán học |
| Kalmyk |
| has gloss | xal: Таалһн (θεώρημα — «үзгдл, бәәдл») — авх болм эсвин зәңг. |
| lexicalization | xal: Таалһн |
| Chinese |
| has gloss | zho: 定理是經過受邏輯限制的證明為真的陈述。一般來說，在數學中，只有重要或有趣的陳述才叫定理。證明定理是數學的中心活動。 |
| lexicalization | zho: 定理 |
