Un axiome (du grec ancien αξιωμα/axioma, « considéré comme digne, convenable, évident en soi » – lui-même dérivé de αξιος (axios), « digne ») désigne une Proposition indémontrable qui doit être admise.

PropertyValue
dbpedia-owl:abstract
  • Un axiome (du grec ancien αξιωμα/axioma, « considéré comme digne, convenable, évident en soi » – lui-même dérivé de αξιος (axios), « digne ») désigne une Proposition indémontrable qui doit être admise.
  • 공리(公理, 영어: axiom)는 어떤 이론체계에서 가장 기초적인 근거가 되는 명제(命題)이다. 어떤 다른 명제들을 증명하기 위한 전제로 이용되는 가장 기본적인 가정을 가리킨다. 지식이 참된 것이 되기 위해서는 근거가 필요하나 근거를 소급해 보면 더 이상 증명하기가 곤란한 명제에 다다른다. 이것이 바로 공리이다. 참고로 증명이 필요한 명제중 증명이 완료된 명제를 정리라고 한다.어떤 한 형식체계에 관한 논의를 위한 전제로 주어진 공리들의 집합을 공리계(公理系)라고 부른다. 한편, 공리를 그 전제로 시작하여, 연역적 수단에 의해 유도되는 명제는 정리(定理)라고 한다. 공리 외에 공준(公準,postulate)이라는 용어도 사용되며, 이 두 단어를 같은 의미로 쓰는 경우도 있으나, '공리'가 여러 학문적 영역에서 공통으로 적용될 수 있는 자명한 가정을 가리킴에 반해, '공준'은 각 영역별로 자명하게 받아들여지는 가정을 일컫는다.
  • Na lógica tradicional, um axioma ou postulado é 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).Na matemática, um axioma é uma hipótese inicial de qual outros enunciados são logicamente derivados. Pode ser uma sentença, uma proposição, um enunciado ou uma regra que permite a construção de um sistema formal. Diferentemente de teoremas, axiomas não podem ser derivados por princípios de dedução e nem são demonstráveis por derivações formais, simplesmente porque eles são hipóteses iniciais. Isto é, não há mais nada a partir do que eles seguem logicamente (em caso contrário eles seriam chamados teoremas). Em muitos contextos, "axioma", "postulado" e "hipótese" são usados como sinônimos.Como foi visto na definição, um axioma não é necessariamente uma verdade autoevidente, mas apenas uma expressão lógica formal usada em uma dedução, visando obter resultados mais facilmente. Axiomatizar um sistema é mostrar que suas inferências podem ser derivadas a partir de um pequeno e bem-definido conjunto de sentenças. Isto não significa que elas possam ser conhecidas independentemente, e tipicamente existem múltiplos meios para axiomatizar um dado sistema (como a aritmética). A matemática distingue dois tipos de axiomas: axiomas lógicos e axiomas não-lógicos.Nas teorias das ciências naturais, um axioma é considerado uma verdade evidente que e é aceita como tal mas que ao rigor da palavra não pode ser demonstrado ou provado uma verdade absoluta dentro do domínio de sua aplicação; é geralmente derivado de intuição ou de conhecimento empírico, os quais apoiam-se em todos os fatos científicos até então conhecidos e relevantes à área em estudo. A viabilidade ou utilidade de tais teorias, e a classificação das mesmas como teorias científicas válidas ou já aprimoradas, todas sempre logicamente derivadas de forma correta de suas premissas (dos axiomas), dependem das escolhas acuradas de seus axiomas e da corroboração dos mesmos frente aos fatos científicos conhecidos na época em que foram propostos, e frente aos que forem gradualmente descobertos em épocas futuras às suas proposições. Fatos novos, ao serem descobertos, podem levar à evolução das teorias mediante necessidade explicita de modificações em seus axiomas, que, conforme propostos no paradigma científico evoluído e ora válido, devem manter-se sempre corroborados pela íntegra dos fatos científicos conhecidos até a data em questão.Na engenharia, axiomas são aceitos sem provas formais e suas escolhas são negociadas a partir do ponto de vista utilitário e econômico. Podem também ser considerados como hipóteses na modelagem e mudados depois da validação do modelo.Declarações explícitas de axiomas é uma condição necessária para a computabilidade de uma teoria, modelo ou método. Neste caso, o axioma pode ser visto como um conceito relativo dependente de domínio, por exemplo, em cada programa de software, declarações iniciais podem ser consideradas como seus axiomas locais.
  • Farklı anlamlar için Belit (anlam ayrımı) maddesine bakınız.Başka bir önermeye götürülemeyen ve kanıtlanamayan, böyle bir geri götürme ve kanıtı da gerektirmeyip, kendiliğinden apaçık olan ve böyle olduğu için öteki önermelerin temeli ve ön dayanağı olan temel önermeye belit , aksiyom ya da postulat denir. Ne türlü bir belitten yola çıkılırsa o türlü bir sonuca varılır. Belitlere dayanan bir felsefe, belitlerin yanlışlığı meydana çıkınca çöker.
  • Аксиома или постулат в класическата логика е твърдение, което не е доказано или демонстрирано, а се разглежда като самоподразбиращо се или като неизбежно произволно приемане. Твърдението се приема за вярно и служи като основа за извеждането на други дедуктивни истини.В математиката „аксиома“ има две свързани, но различаващи се значения - на логически аксиоми и на нелогически аксиоми. И в двата смисъла аксиомата е математическо твърдение, което служи като начална точка за логическото извеждане на други твърдения. За разлика от теоремите, аксиомите не могат да бъдат изведени чрез принципите на дедукцията, нито правилността им да може да бъде демонстрирана чрез математическо доказателство, тъй като те са начални точки на дедукцията и не са логическо следствие на други твърдения.Логическите аксиоми са твърдения, приемани за универсално истинни (например, A и B включва A), докато нелогическите аксиоми (например, a + b = b + a) са дефиниращи характеристики на дадена математическа теория (в примера - на аритметиката). Във второто значение понятието „аксиома“ е заменимо с „постулат“ или „приемане“. Нелогическите аксиоми не са самоподразбиращи се истини, а формални логически изрази, използвани за дедуцирането на определена теория. За да се аксиоматизира дадена система от знание, трябва да се покаже, че нейните твърдения могат да бъдат изведени от малко и ясно определено множество съждения - аксиоми. Обикновено има повече от един начин за аксиоматизиране на дадена математическа област.В миналото математиците разглеждат аксиоматичната геометрия, описана от Евклид, като модел на физическото пространство, от което следва и нейната единственост. Идеята за съществуване на алтернативни математически системи е силно проблематична за математиците от 19 век, а основоположниците на системи като булевата алгебра правят големи усилия да ги изведат от традиционната аритметика. Пръв Еварист Галоа показва, че тези усилия са безсмислени. През следващите десетилетия надделява мнението, че абстрактните сходства между алгебричните системи са по-съществени от разликите в подробностите, което довежда до появата на съвременната абстрактна алгебра. Днес се приема, че е валидна всяка вътрешно съвместима система от аксиоми без да се търсят емпирични доводи за това.
  • Un axioma es una proposición que se considera «evidente» y se acepta sin requerir demostración previa. En un sistema hipotético-deductivo es toda proposición no deducida (de otras), sino que constituye una regla general de pensamiento lógico (por oposición a los postulados).En lógica y matemáticas, un axioma es una premisa que, por considerarse evidente, se acepta sin demostración, como punto de partida para demostrar otras fórmulas. Tradicionalmente los axiomas se eligen de las consideradas «afirmaciones evidentes», porque permiten deducir las demás fórmulas. En lógica un postulado es una proposición no necesariamente evidente: una fórmula bien formada (planteada) de un lenguaje formal utilizada en una deducción para llegar a una conclusión. En matemática se distinguen dos tipos de proposiciones: axiomas lógicos y postulados.
  • Axiom (z řec. axióma, to co se uznává) je tvrzení, které se předem pokládá za platné, a tudíž se nedokazuje. Podobný význam má slovo postulát.
  • 公理(こうり、Axiom)とは、その他の命題を導きだすための前提として導入される最も基本的な仮定のことである。一つの形式体系における議論の前提として置かれる一連の公理の集まりを公理系(Axiomatic system)という。公理を前提として演繹手続きによって導きだされる命題は定理とよばれる。多くの文脈で「公理」と同じ概念をさすものとして仮定や前提という言葉も並列して用いられている。公理とは他の結果を導きだすための議論の前提となるべき論理的に定式化された(形式的な)言明であるにすぎず、真実であることが明らかな自明の理が採用されるとは限らない。知の体系の公理化は、いくつかの基本的でよく知られた事柄からその体系の主張が導きだせることを示すためになされることが多い。なお、ユークリッド原論などの古典的な数学観では、最も自明(絶対的)な前提を公理(Axiom)、それに準じて要請される前提を公準(Postulate)として区別していたが、19世紀以降、数学の形式化が進むにつれ、両者はあまり厳密には区別されなくなっている。
  • An axiom, or postulate, is a premise or starting point of reasoning. A self-evident principle or one that is accepted as true without proof as the basis for argument; a postulate. As classically conceived, an axiom is a premise so evident as to be accepted as true without controversy.The word comes from the Greek ἀξίωμα (āxīoma) 'that which is thought worthy or fit' or 'that which commends itself as evident.'As used in modern logic, an axiom is simply a premise or starting point for reasoning. Axioms define and delimit the realm of analysis; the relative truth of an axiom is taken for granted within the particular domain of analysis, and serves as a starting point for deducing and inferring other relative truths. No explicit view regarding the absolute truth of axioms is ever taken in the context of modern mathematics, as such a thing is considered to be an irrelevant and impossible contradiction in terms.In mathematics, the term axiom is used in two related but distinguishable senses: "logical axioms" and "non-logical axioms". Logical axioms are usually statements that are taken to be true within the system of logic they define (e.g., (A and B) implies A), while non-logical axioms (e.g., a + b = b + a) are actually defining properties for the domain of a specific mathematical theory (such as arithmetic). When used in the latter sense, "axiom," "postulate", and "assumption" may be used interchangeably. In general, a non-logical axiom is not a self-evident truth, but rather a formal logical expression used in deduction to build a mathematical theory. As modern mathematics admits multiple, equally "true" systems of logic, precisely the same thing must be said for logical axioms - they both define and are specific to the particular system of logic that is being invoked. To axiomatize a system of knowledge is to show that its claims can be derived from a small, well-understood set of sentences (the axioms). There are typically multiple ways to axiomatize a given mathematical domain.In both senses, an axiom is any mathematical statement that serves as a starting point from which other statements are logically derived. Within the system they define, axioms (unless redundant) cannot be derived by principles of deduction, nor are they demonstrable by mathematical proofs, simply because they are starting points; there is nothing else from which they logically follow otherwise they would be classified as theorems. However, an axiom in one system may be a theorem in another, and vice versa.
  • 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: Aksjomaty są zdaniami wyodrębnionymi spośród wszystkich twierdzeń danej teorii, wybranymi tak, aby wynikały z nich wszystkie pozostałe twierdzenia tej teorii. Taki układ aksjomatów nazywany jest aksjomatyką.
  • Logikan axioma frogatu gabeko baina agerikoa den proposizioari deritzo. Hala ere, axiomak egiatzat hartzen dira, eta (menpeko) beste egi batzuk ondorioztatzeko hasiera puntutzat balio dute.Matematikan axioma logiko eta axioma ez logikoen artean bereizten dira. Bietan, axioma, beste deklarazio matematiko batzuk frogatzeko abiapuntutzat balio duen edozein deklarazioa da.Normalean axioma logikoak egi unibertsaltzat hartzen dira, adibidez "A" eta "B"-k "A" inplikatzen dute. Axioma ez logikoak, berriz, berez propietate matematikoak dira, adibidez A+B=B+A (aritmetikaren propietate trukakorra).
  • Аксио́ма (др.-греч. ἀξίωμα — утверждение, положение), постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое в основе доказательства других ее положений.Необходимость в принятии аксиом без доказательств следует из индуктивного соображения: любое доказательство вынуждено опираться на какие-либо утверждения, и если для каждого из них требовать своих доказательств, цепочка получится бесконечной. Чтобы не уходить в бесконечность, нужно где-то эту цепочку разорвать — то есть какие-то утверждения принять без доказательств, как исходные. Именно такие, принятые в качестве исходных, утверждения и называются аксиомами.В современной науке аксиомы — это те положения теории, которые принимаются за исходные, причём вопрос об истинности решается либо в рамках других научных теорий, либо посредством интерпретации данной теории.Аксиоматиза́ция теории — явное указание конечного или счётного, рекурсивно перечислимого (как, например, в аксиоматике Пеано) набора аксиом и правил вывода. После того как даны названия изучаемым объектам и их основным отношениям, а также аксиомы, которым эти отношения должны подчиняться, всё дальнейшее изложение должно основываться исключительно лишь на этих аксиомах, не опираясь на обычное конкретное значение этих объектов и их отношений. Утверждения на основе аксиом называются теоремами. С формальной точки зрения, сами аксиомы также входят в число теорем.Примеры различных, но равносильных наборов аксиом можно встретить в математической логике и Евклидовой геометрии.Набор аксиом называется непротиворечивым, если из аксиом набора, пользуясь правилами логики, нельзя прийти к противоречию, то есть доказать одновременно и некое утверждение, и его отрицание. Аксиомы являются своего рода «точками отсчёта» для построения теорий в любой науке, при этом сами они не доказываются, а выводятся непосредственно из эмпирического наблюдения (опыта) или обосновываются в более глубокой теории.Австрийский математик Курт Гёдель доказал «теоремы о неполноте», согласно которым всякая система математических аксиом (формальная система) начиная с определённого уровня сложности либо внутренне противоречива, либо неполна (то есть в достаточно сложных системах найдётся хотя бы одно высказывание, истинность и ложность которого не может быть доказана средствами самой этой системы). Примеры аксиом Аксиома выбора Аксиома параллельности Евклида Аксиома Архимеда Аксиома объёмности Аксиома регулярности Аксиома полной индукции Аксиома Колмогорова Аксиома булеана Аксиоматика Аксиоматика теории множеств Аксиоматика вещественных чисел Аксиоматика Евклида Аксиоматика Гильберта↑ ↑ ↑ ↑
  • Ein Axiom ist ein Grundsatz einer Theorie, einer Wissenschaft oder eines axiomatischen Systems, der innerhalb dieses Systems nicht begründet oder deduktiv abgeleitet wird.
  • 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. Az axióma különféle okok miatt nem megkérdőjelezhető, megállapított alaptény, alapigazság.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).
  • 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).L'axioma es diferencia del dogma en el sentit que, simplificant, el primer es basa en premisses lògiques i científiques, mentre que el segon es basa en una autoritat i/o uns arguments morals, freqüentment religiosos.Si l'axioma és una frase provinent d'un sil·logisme, aleshores tant les premisses com l'estructura interna del sil·logisme han de ser innegables com aquesta mateixa conclusió. I així successivament si s'encadenen més sil·logismes.Els primers sistemes d'axiomes coneguts són els escrits per Euclides en els seus "Elements d'Euclides". També és interessant l'evolució dels axiomes que feu Aristòtil en la seva anàlisi del sil·logisme (amb el problema que les teories d'Aristòtil romangueren petrificades durant segles). Els estudis duts a terme especialment durant el segle XIX pels matemàtics alemanys varen portar a noves conclusions de l'axiomàtica, les quals feren evolucions en el coneixement (com l'àlgebra moderna i la geometria no euclidiana).En matemàtiques un axioma és una afirmació que serveix de punt de partida per demostrar les altres. Es poden distingir dos sentits relacionats però diferents d'axioma: Els axiomes lògics i els axiomes no lògics. Els axiomes lògics o tautologies són afirmacions que són certes independentment de què siguin els objectes a que fa referència, per exemple: si A i B llavors A , és veritat independentment que què siguin A i B. Els axiomes no lògics defineixen propietats per una teoria matemàtica específica, per exemple a * b = b * a és un axioma en teoria de grups abelians.Els axiomes d'Euclides tenen un sentit diferent del concepte matemàtic actual d'axioma. La geometria d'Euclides és una matemàtica aplicada a la mesura de l'espai físic. En aquest context els axiomes són el lligam entre la matemàtica i la física. L'afirmació de què els axiomes siguin evidents vol dir que descansen en l'experiència que tothom té de l'espai físic. El fet que Euclides separi aquests axiomes procedents de l'experiència al món físic de la resta del desenvolupament, permet un procés de raonament rigorós, en forçar que totes les altres afirmacions s'hagin d'obtenir a partir d'aquestes sense admetre res més procedent de l'experiència.La ciència que estudia les condicions dels axiomes és l'axiomàtica. L'estudi dels axiomes és especialment útil en les matemàtiques, si bé també és aplicable en altres ciències (física, economia, estadística, etc.).Un cop establert el concepte d'axioma com afirmació que serveixen de punt de partida per a demostrar la resta d'afirmacions del sistema, apareixen una sèrie de qüestions referents al propi sistema d'axiomes. Aquestes qüestions inclouen per exemple: La determinació de si algun axioma es pot demostrar a partir dels altres, per tant si és redundant i es pot excloure del sistema. La determinació de si els axiomes són consistents, és a dir si està garantit que a partir d'ells no es podrà demostrar una cosa i la contraria al mateix temps. Si dos conjunts diferents d'axiomes són equivalents, és a dir si permeten demostrar exactament el mateix. I en aquest cas l'estudi de quin d'aquests conjunts pot ser més adequat per a determinats propòsits. Si un determinat conjunt d'axiomes és complet, és a dir si totes les afirmacions que es poden formular sobre el tema o bé es poden demostrar o bé es pot demostrar la seva negació.
  • 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.Kata aksioma juga dimengerti dalam matematika. Kata aksioma dalam matematika juga disebut postulat. Akan tetapi, aksioma dalam matematika bukan berarti proposisi yang terbukti dengan sendirinya. Melainkan, suatu titik awal dari sistem logika. Misalnya, 1+1=2Nama lain dari aksioma adalah postulat. Suatu aksioma adalah basis dari sistem logika formal yang bersama-sama dengan aturan inferensi mendefinisikan logika.
  • Een axioma (of postulaat) is in de wiskunde en logica sinds Euclides en Aristoteles een niet bewezen, maar als grondslag aanvaarde bewering. Een axioma dient zelf als grondslag voor 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: axioma's mogen niet met elkaar in tegenspraak zijn axioma's mogen niet uit andere axioma's afgeleid kunnen wordenAls axioma's met elkaar in tegenspraak zijn dan is een theorie inconsistent. Een axioma dat uit andere axioma's afgeleid kan worden is geen axioma, maar een bewezen stelling. Een verzameling van axioma's is dan ook de kleinst mogelijke verzameling van veronderstellingen die een theorie mogelijk maken.Een voorbeeld van een theorie is de rekenkunde van Peano. Deze theorie definieert natuurlijke getallen als volgt: Nul is een getal Elk getal heeft een opvolger en die opvolger is ook een getal Nul is niet de opvolger van enig getal Verschillende getallen hebben verschillende opvolgers Als nul een bepaalde eigenschap heeft, en uit de veronderstelling dat een getal die eigenschap heeft bewezen is dat zijn opvolger die ook heeft, dan heeft elk getal die eigenschap.Ook de natuurkunde kent het principe van het postulaat. Een bekend voorbeeld is dat de lichtsnelheid in het vacuüm voor alle waarnemers die met constante snelheid ten opzichte van elkaar bewegen hetzelfde is.Twee belangrijke eigenschappen van een theorie zijn consistentie en volledigheid. Een theorie is consistent als er binnen de theorie geen tegenspraak afgeleid kan worden. Een theorie is volledig als elke ware stelling die geformuleerd is in de formele taal van de theorie binnen de theorie afgeleid kan worden. De rekenkunde van Peano is consistent, maar niet volledig - Gödels onvolledigheidsstelling bewijst dat elke consistente theorie die ten minste Peano's rekenkunde omvat een ware stelling bevat die onbewijsbaar is binnen die theorie en dus onvolledig is.
  • In matematica si chiamano postulati o assiomi tutti e solo gli enunciati che, pur non essendo stati 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, della teoria dei gruppi o nel calcolo delle probabilità.Nella logica matematica l'idea di assioma e dimostrazione viene completamente formalizzata. Gli assiomi di una teoria proposizionale o di una teoria del primo ordine sono un ben definito insieme di formule che possono essere usate nella teoria per costruire dimostrazioni formali. In questo ambito si fa una netta distinzione tra le due nozioni di assioma logico e assioma non-logico.
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 15513 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 8632 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 66 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 110968086 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
prop-fr:wiktionary
  • axiome
prop-fr:wiktionaryTitre
  • axiome
  • axiome
dcterms:subject
rdfs:comment
  • Un axiome (du grec ancien αξιωμα/axioma, « considéré comme digne, convenable, évident en soi » – lui-même dérivé de αξιος (axios), « digne ») désigne une Proposition indémontrable qui doit être admise.
  • 공리(公理, 영어: axiom)는 어떤 이론체계에서 가장 기초적인 근거가 되는 명제(命題)이다. 어떤 다른 명제들을 증명하기 위한 전제로 이용되는 가장 기본적인 가정을 가리킨다. 지식이 참된 것이 되기 위해서는 근거가 필요하나 근거를 소급해 보면 더 이상 증명하기가 곤란한 명제에 다다른다. 이것이 바로 공리이다. 참고로 증명이 필요한 명제중 증명이 완료된 명제를 정리라고 한다.어떤 한 형식체계에 관한 논의를 위한 전제로 주어진 공리들의 집합을 공리계(公理系)라고 부른다. 한편, 공리를 그 전제로 시작하여, 연역적 수단에 의해 유도되는 명제는 정리(定理)라고 한다. 공리 외에 공준(公準,postulate)이라는 용어도 사용되며, 이 두 단어를 같은 의미로 쓰는 경우도 있으나, '공리'가 여러 학문적 영역에서 공통으로 적용될 수 있는 자명한 가정을 가리킴에 반해, '공준'은 각 영역별로 자명하게 받아들여지는 가정을 일컫는다.
  • Farklı anlamlar için Belit (anlam ayrımı) maddesine bakınız.Başka bir önermeye götürülemeyen ve kanıtlanamayan, böyle bir geri götürme ve kanıtı da gerektirmeyip, kendiliğinden apaçık olan ve böyle olduğu için öteki önermelerin temeli ve ön dayanağı olan temel önermeye belit , aksiyom ya da postulat denir. Ne türlü bir belitten yola çıkılırsa o türlü bir sonuca varılır. Belitlere dayanan bir felsefe, belitlerin yanlışlığı meydana çıkınca çöker.
  • Axiom (z řec. axióma, to co se uznává) je tvrzení, které se předem pokládá za platné, a tudíž se nedokazuje. Podobný význam má slovo postulát.
  • 公理(こうり、Axiom)とは、その他の命題を導きだすための前提として導入される最も基本的な仮定のことである。一つの形式体系における議論の前提として置かれる一連の公理の集まりを公理系(Axiomatic system)という。公理を前提として演繹手続きによって導きだされる命題は定理とよばれる。多くの文脈で「公理」と同じ概念をさすものとして仮定や前提という言葉も並列して用いられている。公理とは他の結果を導きだすための議論の前提となるべき論理的に定式化された(形式的な)言明であるにすぎず、真実であることが明らかな自明の理が採用されるとは限らない。知の体系の公理化は、いくつかの基本的でよく知られた事柄からその体系の主張が導きだせることを示すためになされることが多い。なお、ユークリッド原論などの古典的な数学観では、最も自明(絶対的)な前提を公理(Axiom)、それに準じて要請される前提を公準(Postulate)として区別していたが、19世紀以降、数学の形式化が進むにつれ、両者はあまり厳密には区別されなくなっている。
  • Ein Axiom ist ein Grundsatz einer Theorie, einer Wissenschaft oder eines axiomatischen Systems, der innerhalb dieses Systems nicht begründet oder deduktiv abgeleitet wird.
  • An axiom, or postulate, is a premise or starting point of reasoning. A self-evident principle or one that is accepted as true without proof as the basis for argument; a postulate. As classically conceived, an axiom is a premise so evident as to be accepted as true without controversy.The word comes from the Greek ἀξίωμα (āxīoma) 'that which is thought worthy or fit' or 'that which commends itself as evident.'As used in modern logic, an axiom is simply a premise or starting point for reasoning.
  • Un axioma es una proposición que se considera «evidente» y se acepta sin requerir demostración previa. En un sistema hipotético-deductivo es toda proposición no deducida (de otras), sino que constituye una regla general de pensamiento lógico (por oposición a los postulados).En lógica y matemáticas, un axioma es una premisa que, por considerarse evidente, se acepta sin demostración, como punto de partida para demostrar otras fórmulas.
  • 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.
  • 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: Aksjomaty są zdaniami wyodrębnionymi spośród wszystkich twierdzeń danej teorii, wybranymi tak, aby wynikały z nich wszystkie pozostałe twierdzenia tej teorii.
  • 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.Kata aksioma juga dimengerti dalam matematika.
  • In matematica si chiamano postulati o assiomi tutti e solo gli enunciati che, pur non essendo stati 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, della teoria dei gruppi o nel calcolo delle probabilità.Nella logica matematica l'idea di assioma e dimostrazione viene completamente formalizzata.
  • Logikan axioma frogatu gabeko baina agerikoa den proposizioari deritzo. Hala ere, axiomak egiatzat hartzen dira, eta (menpeko) beste egi batzuk ondorioztatzeko hasiera puntutzat balio dute.Matematikan axioma logiko eta axioma ez logikoen artean bereizten dira. Bietan, axioma, beste deklarazio matematiko batzuk frogatzeko abiapuntutzat balio duen edozein deklarazioa da.Normalean axioma logikoak egi unibertsaltzat hartzen dira, adibidez "A" eta "B"-k "A" inplikatzen dute.
  • Аксиома или постулат в класическата логика е твърдение, което не е доказано или демонстрирано, а се разглежда като самоподразбиращо се или като неизбежно произволно приемане. Твърдението се приема за вярно и служи като основа за извеждането на други дедуктивни истини.В математиката „аксиома“ има две свързани, но различаващи се значения - на логически аксиоми и на нелогически аксиоми.
  • Een axioma (of postulaat) is in de wiskunde en logica sinds Euclides en Aristoteles een niet bewezen, maar als grondslag aanvaarde bewering. Een axioma dient zelf als grondslag voor het bewijs van andere stellingen. Een axioma maakt deel uit van een deductief systeem. In de wiskundige logica heet een deductief systeem een theorie.
  • Na lógica tradicional, um axioma ou postulado é 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).Na matemática, um axioma é uma hipótese inicial de qual outros enunciados são logicamente derivados.
  • 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.
  • Аксио́ма (др.-греч. ἀξίωμα — утверждение, положение), постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое в основе доказательства других ее положений.Необходимость в принятии аксиом без доказательств следует из индуктивного соображения: любое доказательство вынуждено опираться на какие-либо утверждения, и если для каждого из них требовать своих доказательств, цепочка получится бесконечной.
rdfs:label
  • Axiome
  • Aksioma
  • Aksjomat
  • Assioma (matematica)
  • Axiom
  • Axiom
  • Axiom
  • Axioma
  • Axioma
  • Axioma
  • Axioma
  • Axioma
  • Axióma
  • Belit
  • Аксиома
  • Аксиома
  • 公理
  • 공리
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of