| Information | |
|---|---|
| has gloss | (noun) (logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident axiom |
| has gloss | eng: An Axiom is a statement of logic. In a system, it is usually taken as being true. It does not need to be proven. Logic then deduces other theorems from the axioms. |
| has gloss | eng: In traditional logic, an axiom or postulate is a proposition that is not proved or demonstrated but considered to be either self-evident, or subject to necessary decision. Therefore, its truth is taken for granted, and serves as a starting point for deducing and inferring other (theory dependent) truths. |
| lexicalization | eng: axiom |
| lexicalization | eng: Mathematical axioms |
| subclass of | (noun) (logic) a statement that affirms or denies something and is either true or false proposition |
| has subclass | (noun) (mathematics) any of five axioms that are generally recognized as the basis for Euclidean geometry Euclidean axiom, Euclid's axiom, Euclid's postulate |
| has instance | e/Axiom S5 |
| has instance | e/Axiom of countability |
| has instance | e/Axiom schema |
| has instance | e/Axiomatic set theory |
| has instance | e/Axiomatic system |
| has instance | e/Axiomatization |
| has instance | e/Blum axioms |
| has instance | e/Cantor-Dedekind axiom |
| has instance | c/Axiomatics of Euclidean geometry |
| has instance | e/Eilenberg-Steenrod axioms |
| has instance | e/Fundamental axiom of analysis |
| has instance | e/Gluing axiom |
| has instance | e/Graicunas formula |
| has instance | e/Hilbert's axioms |
| has instance | e/Huzita-Hatori axioms |
| has instance | e/Kuratowski closure axioms |
| has instance | e/Least upper bound axiom |
| has instance | e/List of axioms |
| has instance | e/Mereology |
| has instance | e/Mereotopology |
| has instance | e/Parallel postulate |
| has instance | e/Pasch-axiom |
| has instance | e/Peano axioms |
| has instance | e/Point-line-plane postulate |
| has instance | e/Predicate functor logic |
| has instance | e/Probability axioms |
| has instance | e/Relation algebra |
| has instance | e/Tarski's axioms |
| has instance | e/Whitehead's point-free geometry |
| has instance | c/fr/Axiome de la géométrie |
| has instance | e/fr/Theorie axiomatique |
| has instance | e/it/Assiomi logici |
| has instance | e/it/Assiomi per l'uguaglianza |
| has instance | e/it/Assiomi propri |
| has instance | e/zh/公理化数学 |
| has instance | e/zh/完全公理 |
| Meaning | |
|---|---|
| Arabic | |
| has gloss | ara: البديهية axiom هي أي افتراض يكون مقدمة لاستنتاج تصريحات أخرى منطقيا. ويمكن أن تكون البديهية هي العبارة، الافتراض، المقولة أو القاعدة التي تشكل أساسا لالنظام الشكلي. بخلاف المبرهنات، البديهيات لا يمكن أن تشتق بمبادئ الاستنتاج، كما لا يمكن اثباتها عن طريق برهان شكلي - ببساطة لأنها مقدمات مفترضة - ليس هناك شيء آخر تستنتج منه منطقيا (والا سيفترض تسميتها نظريات). في سياقات عديدة، "البديهيه"، و"المسلمة"، و"الافتراض" تستخدم بشكل متبادل. |
| lexicalization | ara: بديهيات رياضية |
| lexicalization | ara: بديهية |
| Aragonese | |
| has gloss | arg: Un acsioma (/aksioma/), en epistemolochía, ye una "berdat ebident" que no requiere contrimuestra, pues se chustifica ella mesma, y sobre a cual se construi a resta de conoiximientos por meyor da deduzión. Cal dezir que no toz os epistemologos son dalcuerdo con ista definizión "clasica". Lacsioma salazeta en el mesmo, mientras que os postulaus y conclusions posteriors se deduzen á partir diste. |
| lexicalization | arg: axioma |
| Azerbaijani | |
| has gloss | aze: Aksiom - sübutsuz qəbul edilən fakt. Doğruluğu isbat edilmədən qəbul edilən təkliflərə aksiomlar deyilir. Aksiomlar adətən məlum təkliflər vəya tamamilə mücərrəd ola bilər. Adətən riyaziyyata hər hansı bir yeni bölmə vəya anlayış daxil edildikdə bu yeni bölmə bir sıra qəbul edilmiş mülahizələr əsasında qurulur. Belə mülahizələr sistem daxilində aksiomlar adlanır. |
| lexicalization | aze: aksiom |
| Belarusian | |
| has gloss | bel: Аксіёма або аксыёма ( — сьцвярджэньне, становішча) або пастулят — сьцвярджэньне, прыманае без доказаў. |
| has gloss | bel: Аксіёма ( — сцвярджэнне, становішча) або пастулат — сцвярджэнне, прыманае без доказаў. |
| lexicalization | bel: Аксіёма |
| Bengali | |
| lexicalization | ben: স্বতঃসিদ্ধ |
| Bosnian | |
| has gloss | bos: Aksiom je tvrdnja kao i teorem, sa razlikom što se aksiom uzima kao „a priori“ (jasna tvrdnja), to jest, nema potrebe za dokazom iste (na primjer a+b=b+a). |
| lexicalization | bos: Aksiom |
| Bulgarian | |
| has gloss | bul: Аксиома е твърдение или изказване, което не е доказано или демонстрирано, а се разглежда като самоподразбиращо се или като първоначално общоприето схващане необходимо за доказване на някоя теория. За целта, твърдението се приема по презумпция за вярно и служи като първоначална база за извеждането на други дедуктивни истини. |
| lexicalization | bul: Аксиома |
| Catalan | |
| has gloss | cat: Tradicionalment es considera que un axioma és una frase, un argument, que, o bé és totalment cert de per si mateix, o bé com a mínim segons els coneixements actuals es pot donar per innegable. (Alguns axiomes donats com a tals per la ciència moderna són, de fet, arguments molt sòlids però fora d'esquemes lògics estrictes, i per tant, no necessàriament innegables, com algunes proposicions de la física). |
| lexicalization | cat: axioma |
| Czech | |
| has gloss | ces: Axiom (z řec. axióma, to co se uznává) je tvrzení, které se předem pokládá za platné a tudíž nedokazuje. Přídavné jméno je axiomatický. Podobný význam má slovo postulát. |
| lexicalization | ces: axiom |
| lexicalization | ces: Axióm |
| Mandarin Chinese | |
| Show unreliable ▼ | |
| lexicalization | cmn: gōng li |
| lexicalization | cmn: 公理 |
| Danish | |
| has gloss | dan: Et aksiom er en grundantagelse, der antages at være sand, og som ligger til grund for et større system af sætninger. I et sådant logisk system har man altså et sæt aksiomer, man ikke beviser, men bruger som det fundamentale grundlag til at bevise andre sætninger i teorien. |
| lexicalization | dan: grundsætning |
| lexicalization | dan: aksiom |
| German | |
| has gloss | deu: Ein Axiom ist ein nicht deduktiv abgeleiteter Grundsatz einer Theorie (Wissenschaft, eines axiomatischen Systems). |
| lexicalization | deu: Axiom |
| lexicalization | deu: Grundwahrheit |
| Modern Greek (1453-) | |
| has gloss | ell: Στην λογική, αξίωμα ή αρχή είναι μια πρόταση η οποία δεν αποδεικνύεται, αλλά θεωρείται είτε προφανής, ή αποτέλεσμα κάποιας απόφασης. Υποτίθεται δηλαδή η αλήθεια του, ώστε να χρησιμοποιηθεί ως αρχικό σημείο για την αναγωγή και το συμπέρασμα άλλων αληθών προτάσεων, ανάλογα με τη θεωρία που εφαρμόζεται. |
| lexicalization | ell: αξίωμα |
| Esperanto | |
| has gloss | epo: Aksiomo estas principo (baza aserto) kiu estas akceptata sen pruvo en scienca teorio aŭ deduktiva sistemo. |
| lexicalization | epo: aksiomo |
| lexicalization | epo: Matematikaj aksiomoj |
| Estonian | |
| has gloss | est: Aksioom (kreeka keeles axiōma see, mis on vääriline) tähendab üldkeeles väidet, mille tõesuses pole kahtlust. |
| lexicalization | est: aksioom |
| Basque | |
| has gloss | eus: Logikan axioma frogatu gabeko baina agerikoa den proposizioari deritzo. Hala ere, axiomak egitzat hartzen dira, eta (menpeko) beste egi batzuk ondorioztatzeko hasiera puntutzat balio dute. |
| lexicalization | eus: axioma |
| Persian | |
| has gloss | fas: اصلِ موضوع یا بُنداشت (axiom یا postulate)، در ریاضیات و منطق و فیزیک، اصل اولیه است که بدونِ اثبات پذیرفته میشود و از رویِ آن سایر گزارهها استخراج میشود. اصولِ موضوعه میتوانند بدیهی نباشد، اما بههرحال نقطهٔ آغازِ کار است و به همین دلیل نمیتوان آنها را از هیچ گزارهٔ دیگری استخراج کرد. گزارهای که از یک یا چند اصلِ دیگر استنتاج شود قضیه (theorem) نام دارد. |
| lexicalization | fas: اصل موضوع |
| Finnish | |
| has gloss | fin: Aksiooma eli peruslause on matematiikassa peruskäsitteiden epäsuora määritelmä, jota käytetään päättelyssä muiden tulosten todistamiseen. |
| lexicalization | fin: aksiooma |
| lexicalization | fin: aksiomi |
| French | |
| has gloss | fra: Un axiome (du grec ancien /axioma, « considéré comme digne, convenable, évident en soi ») désigne une vérité indémontrable qui doit être admise. Pour certains philosophes grecs de lAntiquité, un axiome était une affirmation quils considéraient comme évidente et qui n'avait nul besoin de preuve. |
| lexicalization | fra: axiome |
| lexicalization | fra: Axiome |
| Gaelic | |
| has gloss | gla: ’S e aicseam gach ràdh, tagradh no riaghailt aig bun siostam foirmeil. Tha am fìrinn aige soilleir mar thà, gun fheum dearbhaidh, no ’s e barail a th’ ann a tha furasta ghabhail ris gun dhearbhadh. Mar eisimpleir, ma tha A agus B co-ionann, agus tha B agus C co-ionnan, nuair sin tha A agus C co-ionnan. Tha eòlas eile stèidhichte air grunnan aicseaman. |
| lexicalization | gla: aicseam |
| Galician | |
| has gloss | glg: En epistemoloxía un axioma é unha "verdade evidente" que non admite demostración, mediante a intuición racional; sobre a cal descansa o resto do coñecemento ou sobre a cal constrúense outros coñecementos. Non todos os epistemólogos están de acordo en que os axiomas existan dese xeito. |
| lexicalization | glg: axioma |
| Alemannic | |
| has gloss | gsw: En Axiom isch e Grundsatz von ere wüsseschaftlige Theorii, emne axiomatische System, wo nit deduktiv abgleitet isch. |
| lexicalization | gsw: Axiom |
| Serbo-Croatian | |
| has gloss | hbs: Grčko poreklo Aksioma (Axiom): * od grč. αξίω¬μα, "potraživanje"; * odn. grč. άξιόειν, "držati za vredno" ili "držati za istinito", otprilike "ono što se drži za istinito"; * ili grč. αξιωμα - iskaz koji vredi da se usvoji, neosporan. |
| lexicalization | hbs: aksiom |
| Hebrew | |
| has gloss | heb: מקורה של המילה אקסיומה (גם: אכּסיוֹמה) הוא ביוונית העתיקה (αξιωμα), ופירושה "עיקרון מובן מאליו", שאינו מצריך הוכחה. |
| lexicalization | heb: אקסיומה |
| Hindi | |
| has gloss | hin: तर्कशास्त्र (logic) में स्वयंसिद्ध या अभिगृहीत (axiom) ऐसे कथनों को कहते हैं जिन्हें सिद्ध नहीं किया जाता बल्कि उन्हें अति-स्पष्ट समझा जाता है। स्वयंसिद्धों को सत्यता को बिना शंका के स्वीकार कर लिया जाता है । स्वयंसिद्ध अन्य सत्यों को सिद्ध करने के लिये आधार का काम करते हैं। |
| lexicalization | hin: स्वयंसिद्ध |
| Croatian | |
| has gloss | hrv: Aksiom (grč. aksios - bez) je "temeljna istina" koja se ne dokazuje i služi kao osnova neke matematičke teorije. Za razliku od dogme uglavnom se ne tvrdi njena nužna istinitost jer je to logički nemoguće utvrditi, nego se uzima kao pretpostavka na kojoj se gradi teorija. Zato je u matematici sasvim legitivmno uzeti druge ili čak suprotne aksiome za izgradnju neke druge teorije. |
| lexicalization | hrv: aksiom |
| Hungarian | |
| has gloss | hun: Az axióma olyan kiindulási feltételt jelent (például a filozófia ágaiban, vagy a matematikában), amit adottnak veszünk az érvelések során, tehát alapfogalomnak nevezzük. Az axióma különféle okok miatt nem megkérdőjelezhető, megállapított alaptény. A szó etimológiája: a latin axioma a görög axióma (άξίωμα) szóból keletkezett, amely szószerint valami értékeset jelent, az axioun értékesnek tartani igéből, az axios érték, értékes szavakból; rokona a görög agein súlyt mérni, nyomni, hajtani igének (amelyből az angol agent (tényező, ágens ügynök stb. szó is származik). Az axióma más szóval: alapigazság. |
| lexicalization | hun: axióma |
| Ido | |
| has gloss | ido: Axiomo esas verajo generala, nedemonstrebla, qua impozas su a spirito kom evidentajo. |
| lexicalization | ido: Axiomo |
| Indonesian | |
| has gloss | ind: Kata aksioma berasal dari Bahasa Yunani αξιωμα (axioma), yang berarti dianggap berharga atau sesuai atau dianggap terbukti dengan sendirinya. Kata ini berasal dari αξιοειν (axioein), yang berarti dianggap berharga, yang kemudian berasal dari αξιος (axios), yang berarti berharga. Di antara banyak filsuf Yunani, suatu aksioma adalah suatu pernyataan yang bisa dilihat kebenarannya tanpa perlu adanya bukti. |
| lexicalization | ind: aksioma |
| Icelandic | |
| has gloss | isl: Frumsendur eru setningar eða frumforsendur sem allar aðrar forsendur innan gefins frumsendukerfis eru afleiður af. Frumsendur eru ósannaðar, en gengið er út frá því að þær séu sannar. Öll stærðfræði í dag byggir á slíkum frumsendum, en sú hefð að byggja stærðfræðilega þekkingu á frumsendum er komin frá heimspekingum Grikklands til forna. Fyrir þann tíma var öll stærðfræði byggð á reynslu, þær formúlur voru notaðar sem reynst höfðu vel. Margar þeirra hafa síðar reynst réttar og hafa verið sannaðar. |
| lexicalization | isl: Frumsenda |
| Italian | |
| has gloss | ita: In matematica si chiamano postulati o assiomi tutti e soli gli enunciati che, pur non essendo dimostrati, sono considerati veri. Generalmente forniscono il punto di partenza per delineare un quadro teorico come può essere quello della teoria degli insiemi, della geometria, dell'aritmetica o della teoria dei gruppi. |
| lexicalization | ita: assioma |
| lexicalization | ita: Assiomi |
| Show unreliable ▼ | |
| lexicalization | ita: postulato |
| Japanese | |
| has gloss | jpn: 公理（こうり、Axiom）とは、その他の命題を導きだすための前提として導入される最も基本的な仮定のことである。一つの形式体系における議論の前提として置かれる一連の公理の集まりを公理系という。公理を前提として演繹手続きによって導きだされる命題は定理とよばれる。多くの文脈で「公理」と同じ概念をさすものとして仮定や前提という言葉も並列して用いられている。 |
| lexicalization | jpn: 公理 |
| Show unreliable ▼ | |
| lexicalization | jpn: yoken |
| Georgian | |
| has gloss | kat: აქსიომა (ბერძ. tà tôn progónon axiómata = აღიარებული დებულება), ეპისტემოლოგიაში დებულებაა, რომლის ჭეშმარიტება თავისთავად ცხადია, უეჭველია და დასაბუთება არ სჭირდება. ტერმინი "აქსიომა" არისტოტელეს მიეწერება. მის დროს ეს ტერმინი მეცნიერებიდან სასაუბრო ენაშიც შევიდა, როგორც თავისთავად ცხადი დებულების სინონიმი. |
| lexicalization | kat: აქსიომა |
| Kazakh | |
| has gloss | kaz: Аксиома ( — айқын, анық) — дәлелденбеген немесе көрсетілмеген және дәлелдеуді қажет етпейтін, ақиқат ретінде немесе теория құруға керек алғашқы айғақ деп қабылданатын сөйлем немесе тұжырымдама. |
| lexicalization | kaz: Аксиома |
| Korean | |
| has gloss | kor: 공리(公理)는 이론체계 가운데에서 가장 기초적인 근거가 되는 명제(命題)이다. |
| lexicalization | kor: 공리 |
| lexicalization | kor: 수학 공리 |
| Latin | |
| has gloss | lat: Axioma, vel sumptio, in logicis posteris proditis, est propositio vel thesis non probata vel demonstrata, sed vera in se habita; ergo, conceditur a principio sua veritas, quae sic est incipium aliarum veritatum, deductarum, et conclusarum. In mathematica, terminus axioma adhibetur in duobus cognatibus sed distinctis sensibus: "axiomata logica" et "axiomata non logica." |
| lexicalization | lat: Axioma |
| Latvian | |
| has gloss | lav: Aksioma (no grieķu αξιωμα - "atzīts par derīgu esam, pašsaprotams") - kādas teorijas tēze, ko izmanto citu šās teorijas tēžu pierādīšanai, bet pašu šās teorijas ietvaros pieņem bez pierādījuma, arī atzinums (izteikums), ko bez pierādījumiem pieņem par patiesu. |
| lexicalization | lav: Aksioma |
| Lithuanian | |
| has gloss | lit: Senovės Graikijos filosofijoje aksioma – teiginys, kurio teisingumas matomas be įrodymo. |
| lexicalization | lit: aksioma |
| Literary Chinese | |
| has gloss | lzh: 公理者，恆為真命題是謂，並為演繹他者之始也。公理意同公設於多處也。此詞英語者，源希臘文αξίωμα，原意為「有值之思」。 |
| lexicalization | lzh: 公理 |
| Malayalam | |
| has gloss | mal: തെളിവുനല്കാതെ തന്നെ സ്വീകരിയ്ക്കപ്പെടുന്ന പ്രസ്താവനയാണ് സ്വയംസിദ്ധപ്രമാണം. പ്രത്യക്ഷപ്രമാണം, സ്വയംസിദ്ധതത്ത്വം എന്നീ പേരുകളിലും ഇത് അറിയപ്പെടുന്നു. ഇത്തരം അംഗീകൃത പ്രമാണങ്ങള് എല്ലാ ഗണിതശാസ്ത്രശാഖകളിലും കാണാം. |
| lexicalization | mal: സ്വയംസിദ്ധപ്രമാണം |
| Macedonian | |
| has gloss | mkd: Под аксиома (од грчки ἀξίωμα = достоинство, чест) се подразбира она што е исправно, став што не треба да се докажува, а е основа на секое докажување. Поимот ги означува првите принципи на логиката, метафизиката, етиката како и на математичките постулати. Аксиомите или највишите принципи (maximae propositiones) на секоја наука, оние ставови со кои се толкува нивниот предмет и нивните суштински ознаки, се непосредно евидентни и сигурни, служат за заклучување и докажување, додека самите не можат да се докажат. Според Аристотел аксиома е оној принцип кој треба да се прифати ако сака нешто да се разбере, односно тоа е првата поставка од која почнува докажувањето, а самата не се докажува. За стоиците аксиома е „она што е вистинито или лажно". За Кант аксиомите се „априорни синтетички принципи, доколку се непосредно сигурни". |
| lexicalization | mkd: аксиома |
| Min Nan Chinese | |
| has gloss | nan: Kong-siat, iah-sī kóng kong-lí, sī 1 ê hē-thóng lāi-té bô chèng-bêng tō ká-siat sī chin--ê ê 1 kù oē, iah-sī bēng-tê (proposition). Lia̍h kong-siat chò chhut-hoat-tiám lâi chhui-lūn, koh ē-tàng tit tio̍h tēng-lí. |
| lexicalization | nan: kong-siat |
| Nepal Bhasa | |
| has gloss | new: एक्जियोम गणितया छगू एन्टिटी ख। |
| lexicalization | new: एक्जियोम |
| Dutch | |
| has gloss | nld: Een axioma (of postulaat) is in de wiskunde en logica sinds Euclides en Aristoteles een niet bewezen, maar als grondslag aanvaarde stelling. Een axioma dient zelf als grondslag van het bewijs van andere stellingen. Een axioma maakt deel uit van een deductief systeem. In de wiskundige logica heet een deductief systeem een theorie. Bij het opstellen van een theorie moet men met een aantal beperkingen rekening houden: |
| lexicalization | nld: axioma |
| lexicalization | nld: grondwaarheid |
| Norwegian Nynorsk | |
| has gloss | nno: Eit aksiom eller eit postulat er ei utsegn som ikkje er bevist eller demonstrert, men rekna for å vere sjølvinnlysande. Derfor vert utsegnet teke for gitt og fungerer som eit utgangspunkt for å utleie og dedusere andre (teoriavhengige) sanningar. |
| lexicalization | nno: aksiom |
| lexicalization | nno: Matematiske aksiom |
| Norwegian | |
| has gloss | nor: Et aksiom (gr. αξιωμα/aksioma, grunnsetning) er en grunnsetning som aksepteres uten bevis, enten den er allment akseptert eller den er selvinnlysende sann. Innenfor epistemologien (filosofi) er den selvinnlysende sann, mens den ikke trenger være det i matematikken. |
| lexicalization | nor: aksiom |
| Novial | |
| has gloss | nov: Axiome es un del fundamental propositiones kel on mus suposi es veri sin pruvo in li kompilatione de logikal sisteme. |
| lexicalization | nov: Axiome |
| Polish | |
| has gloss | pol: Aksjomat (postulat, pewnik; gr. αξιωμα aksíoma – godność, pewność, oczywistość) – jedno z podstawowych pojęć logiki matematycznej. Od czasów Euklidesa uznawano, że aksjomaty to zdania przyjmowane za prawdziwe, których nie dowodzi się w obrębie danej teorii matematycznej. We współczesnej matematyce definicja aksjomatu jest nieco inna: |
| lexicalization | pol: aksjomat |
| Portuguese | |
| has gloss | por: Um axioma é uma sentença ou proposição que não é provada ou demonstrada e é considerada como óbvia ou como um consenso inicial necessário para a construção ou aceitação de uma teoria. Por essa razão, é aceito como verdade e serve como ponto inicial para dedução e inferências de outras verdades (dependentes de teoria). |
| lexicalization | por: axioma |
| Moldavian | |
| has gloss | ron: Cuvântul axiomă este un cuvânt provenit din limba greacă veche, în care αξιωμα (axioma) înseamnă "care este socotit demn sau convenabil" sau "care este considerat evident prin sine însuşi/de la sine", "opinie", "teză admisă". Iniţial, axiomele au fost propoziţii (enunţuri) ale căror adevăr era socotit evident, adevăr care îşi avea originea în practică. Pentru unii filosofi greci din antichitate, reprezenta o afirmaţie considerată ca fiind evidentă, şi care nu mai trebuia dovedită. Cuvântul provine din αξιοειν (axioein), care înseamnă "a considera demn", care, la rândul său, provine din αξιοσ (axios), care înseamnă "demn". |
| lexicalization | ron: axiomă |
| Russian | |
| has gloss | rus: Аксио́ма ( — утверждение, положение) — утверждение, в определённых рамках (теории, концепции, дисциплины) принимаемое истинным без доказательств, которое в последующем служит «фундаментом» для построения доказательств. |
| lexicalization | rus: аксиома |
| lexicalization | rus: Аксиома |
| Sicilian | |
| has gloss | scn: Nu Assioma eni na dichiarazzioni di loggica. Nta nu sistema ca eni di solitu pigghiatu ppi veru. Nun avi bisognu di ssiri pruvatu. A pàrtiri di lassioma puoi a loggica e custruisci tiuremi. |
| lexicalization | scn: assioma |
| Slovak | |
| has gloss | slk: Axióma alebo postulát je základná veta systému teórií, z ktorej sa pomocou pravidla odlúčenia dokazujú ostatné vety či teorémy daného systému. Pojmy zavedené v axiómach sa nazývajú základné alebo primitívne pojmy. O takto zavedených pojmoch sa hovorí, že sú definované implicitne. Všetky ďalšie pojmy sa definujú explicitne pomocou axióm a základných pojmov. Dedukcia výrokov je prípustná len pomocou pravidiel logiky. |
| lexicalization | slk: axióma |
| lexicalization | slk: Axióma |
| Slovenian | |
| has gloss | slv: Aksióm (starogrško ἀξίωμα: axíoma) označuje stališče, načelo, tezo, sodbo, ki jo sprejemamo brez dokazov in služi kot načelo ali premisa deduktivnega dokazovanja. Po tradicionalnem razumevanju, ki izhaja od Aristotla aksiomi ne potrebujejo dokazov, saj je njihova resničnost neposredno razvidna. Po Kantovem razumevanju so aksiomi neposredno odvisni od sintetičnih načel a priori. Aksiom je mogoče opredeliti še kot enačbo, formulo, ki je del aksiomatičnega sistema in torej ne izhaja iz kakšne druge enačbe v tem sistemu. |
| lexicalization | slv: aksiom |
| Castilian | |
| has gloss | spa: En lógica y matemática, un axioma o postulado es una fórmula bien formada de un lenguaje formal que se acepta sin demostración, como punto de partida para demostrar otras fórmulas. |
| lexicalization | spa: Axiomas matemáticos |
| lexicalization | spa: axioma |
| Albanian | |
| has gloss | sqi: Aksioma (greq. αξιωμα - vlerë, vleftë) është një pohim në vërtetësinë e të cilit nuk dyshohet, d.m.th. shpreh një marrdhënie mes kuptimeve themelore të një teorie e cila nuk përkufizohet d.m.th është e njohur apriori. |
| lexicalization | sqi: Aksioma |
| Serbian | |
| has gloss | srp: Грчко порекло Аксиома (Axiom): * од грч. αξίω¬μα, "потраживање"; * одн. грч. άξιόειν, "држати за вредно" или "држати за истинито", отприлике "оно што се држи за истинито"; * или грч. αξιωμα - исказ који вреди да се усвоји, неоспоран. Историја Ако је на делу једна теорија у облику аксиоматског система, тада се она налази на веома узнапредовалом ступњу свог развоја. Први зачеци аксиоматизовања геометрије налазе се већ код Еуклида (око 300. п. н. е.); а први га је потпуно достигао Д. Хилберт крајем 19. века. У расправи ο аксиоматском уобличавању геометрије средишњу улогу је играла тзв. аксиома ο паралелама, која отирилике гласи: " Ако је α права, а Ρ тачка која не лежи на а, тада у равни у којој леже α и Ρ постоји тачно једна права кроз Ρ која не сече а, наиме паралела од а." |
| lexicalization | srp: аксиома |
| lexicalization | srp: Аксиоме |
| Swedish | |
| has gloss | swe: Ett axiom (av grekiska axioma) är en grundsats som kan accepteras utan bevis, genom konvention eller som kan antas vara självklart sann. |
| lexicalization | swe: axiom |
| Tamil | |
| has gloss | tam: மெய்க்கோள் (Axiom) அல்லது மெய்முதற்கோள் என்பது மரபான ஏரண முறையில் வேறொன்றாலும் நிறுவப்படாமலே, தானாகவே தன் மெய்மையை உணர்த்துவதாக கொள்ளும் முதலுண்மை ஆகும். எனவே இது போன்ற மெய்க்கோள்களைக் கொண்டே மற்ற உண்மைகள் முறைப்பட தொடர்புபடுத்தி, புணர்த்தி நிறுவப்படுகின்றன. |
| lexicalization | tam: மெய்கோள் |
| Turkish | |
| lexicalization | tur: aksiyom |
| lexicalization | tur: belit |
| Ukrainian | |
| has gloss | ukr: Аксіо́ма (грец. axiōma — загальноприйняте, безперечне, від axio — вважаю гідним, наполягаю, вимагаю) |
| lexicalization | ukr: аксіома |
| Venetian | |
| has gloss | vec: Un asioma xe un principio generàe che, a difarènsa dei teoremi o dee proposisiòn, no và dimostrà parchè vièn considerà sempre vèro (se tolto in te lambito chel riguarda). Pa sto motivo i asomi xe usà in matematica come premesa pa sviùppi de teorie, 'e quai riva a conclusiòn pì complesse, che reputemo vère in virtù de tute e dimostrasiòn che, diretamente o indiretamente, usa i asiomi pa verificarse vere. |
| lexicalization | vec: asioma |
| Vietnamese | |
| has gloss | vie: Một tiên đề trong toán học là một đề xuất được coi như luôn đúng mà không thể và không cần chứng minh. |
| lexicalization | vie: tiên đề |
| Waray (Philippines) | |
| has gloss | war: Ha nahigaraan nga lohika, an aksyoma amo an mga pagpasabot nga waray pamatud-a o ginpanig-unan pero ginkikilal-an nga lugaring-nga-nakakasarig, ngan ginagamit paghimo han iba mga kinahanglanon nga mga desisyon. |
| lexicalization | war: Aksyoma |
| Xhosa | |
| lexicalization | xho: cacileyo |
| Yiddish | |
| has gloss | yid: אן אקסיאם איז א פראפאזיציע אין לאגיק וואס ווערט נישט דערוויזן נאר איז א קלארער אמת. ממילא נעמט מען דאס אן אלס אנהייבפונקט פון וואנעט מען לערנט ארויס אנדערע ווארהייטן. |
| lexicalization | yid: אקסיאם |
| Yue Chinese | |
| has gloss | yue: 公理（axiom或者postulate），當係不證自明嘅陳述，唔使證明。因為當係真嘅，好多嘢都由呢度推出來。 |
| lexicalization | yue: 公理 |
| Chinese | |
| has gloss | zho: 在傳統邏輯中，公理（axiom）是無法被證明或決定對錯，但被設為不證自明的一個命題。因此，其真實被視為是理所當然的，且被當做演繹及推論其他（理論相關）事實的起點。當不斷要求證明時，因果關係終究不能無限地追溯，而需停止於無需證明的公理。通常公理都很簡單，且符合直覺，如「若a = b，則a+c = b+c」。 |
| lexicalization | zho: 公理 |
| Links | |
|---|---|
| has category | (noun) the branch of philosophy that analyzes inference logic |
| Show unreliable ▼ | |
| similar | e/Axiom |
| similar | e/simple/Axiom |
| Media | |
|---|---|
| media:img | Avocado Seedling.jpg |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint
