An axiom or postulate is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Greek axíōma (ἀξίωμα) 'that which is thought worthy or fit' or 'that which commends itself as evident.'

Property Value
dbo:abstract
  • An axiom or postulate is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Greek axíōma (ἀξίωμα) 'that which is thought worthy or fit' or 'that which commends itself as evident.' The term has subtle differences in definition when used in the context of different fields of study. As defined in classic philosophy, an axiom is a statement that is so evident or well-established, that it is accepted without controversy or question. As used in modern logic, an axiom is simply a premise or starting point for reasoning. As used in mathematics, the term axiom is used in two related but distinguishable senses: and . 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), often shown in symbolic form, while non-logical axioms (e.g., a + b = b + a) are actually substantive assertions about the elements of 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. Whether it is meaningful (and, if so, what it means) for an axiom, or any mathematical statement, to be "true" is an open question in the philosophy of mathematics. (en)
  • البديهية (باليونانية: أكسيوما αξιωμα) هي أي قضية تكون مقدمة لاستنتاج تصريحات أخرى منطقيا. ويمكن أن تكون البديهية هي العبارة، الافتراض، المقولة أو القاعدة التي تشكل أساسا للنظام الشكلي. بخلاف المبرهنات، البديهيات لا يمكن أن تشتق بمبادئ الاستنتاج، كما لا يمكن اثباتها عن طريق برهان شكلي - ببساطة لأنها مقدمات مفترضة - ليس هناك شيء آخر تستنتج منه منطقيا (والا سيفترض تسميتها نظريات). كما يتضح من التعريف، البديهية ليست بالضرورة حقيقة بينة بذاتها، ولكن بالأحرى تعبير شكلي منطقي يستعمل في الاستدلال للحصول على أكبر عدد ممكن من النتائج. تعتبر حقائق نظام معرفي مبسطة عندما يتم إثبات أن مجموعة ما من تصريحاته يمكن استخلاصها من جمل قليلة متعارف عليها وواضحة جيدا. وهذا لا يعني انها يمكن أن تكون معروفة بشكل مستقل ؛ وهناك عادة عدة طرق لتبسيط حقائق نظام معين من المعرفة (مثل الحساب). الرياضيات تميز نوعين من البديهيات : البديهيات المنطقية والبديهيات الغير منطقية. البديهيات تأخذ بشكل أساسي على أنها صحيحة ولا تحتاج لإثبات ومن هنا جاء اسمها (بديهية) قهي تعتبر بديهية الصحة ضمن هذا النظام الشكلي الذي يتشكل بناء عليها. بطبيعة الحال هذا لا يمنع التساؤل عن مدى صواب هذه البديهيات خارج النظام الشكلي، مما يدفع آخرون لتبني نظام جديد من البديهيات ينتج عنه نظام شكلي جديد وقواعد رياضية جديدة. أحد أشهر الأمثلة بديهيات إقليدس التي تتشكل بناء عليها الهندسة الإقليدية المستوية، وهي تختلف بشكل جذري عن هندسة منكوفسكي أو هندسة ريمان التي تتبنى بديهيات أخرى. في بعض نظريات المعرفة (الابستمولوجيات) : تعتبر البديهيات حقائق ذاتية الصحة تستند إليها بقية المعارف. لكن لا تعترف باقي نظريات فلسفة المعرفة ببديهية ما يدعى بالبديهيات. في المنطق ونظرية الألعاب والرياضيات : ليس من الضروري أن تكون البديهية ذاتية الإثبات بل يكفي أنها تعبير منطقي شكلي يستخدم في استنتاج ليعطي نتائج. يعتبر نظام معرفي بديهيا عندما يتم إثبات أن كامل ادعاءاته، قضاياه، وحقائقه تستند إلى مجموعة صغيرة من البديهيات المستقلة عن بعضها البعض. (ar)
  • Ein Axiom ist ein Grundsatz einer Theorie, einer Wissenschaft oder eines axiomatischen Systems, der innerhalb dieses Systems nicht begründet oder deduktiv abgeleitet wird. (de)
  • 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. (es)
  • 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 utilisée comme fondement d'un raisonnement. (fr)
  • In matematica si chiamano postulati o assiomi tutti e soli 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. (it)
  • 公理(こうり、Axiom)とは、その他の命題を導きだすための前提として導入される最も基本的な仮定のことである。一つの形式体系における議論の前提として置かれる一連の公理の集まりを公理系(Axiomatic system)という。公理を前提として演繹手続きによって導きだされる命題は定理とよばれる。多くの文脈で「公理」と同じ概念をさすものとして仮定や前提という言葉も並列して用いられている。 公理とは他の結果を導きだすための議論の前提となるべき論理的に定式化された(形式的な)言明であるにすぎず、真実であることが明らかな自明の理が採用されるとは限らない。知の体系の公理化は、いくつかの基本的でよく知られた事柄からその体系の主張が導きだせることを示すためになされることが多い。 なお、ユークリッド原論などの古典的な数学観では、最も自明(絶対的)な前提を公理(Axiom)、それに準じて要請される前提を公準(Postulate)として区別していた。 (ja)
  • 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 worden Als 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. (nl)
  • 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ą. (pl)
  • 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, é aceite 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 lógicamente (em caso contrário eles seriam chamados teoremas). Em muitos contextos, "axioma", "postulado" e "hipótese" são usados como sinônimos. Uma possível diferença entre postulado e axioma é a possibilidade de se provar um axioma, logo um axioma passaria a ser um teorema. Enquanto que os postulados são verdades evidentes que não requerem demonstrações. 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. (pt)
  • Аксио́ма (др.-греч. ἀξίωμα — утверждение, положение), постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами. Необходимость в принятии аксиом без доказательств следует из индуктивного соображения: любое доказательство вынуждено опираться на какие-либо утверждения, и если для каждого из них требовать своих доказательств, цепочка получится бесконечной. Чтобы не уходить в бесконечность, нужно где-то эту цепочку разорвать — то есть какие-то утверждения принять без доказательств, как исходные. Именно такие, принятые в качестве исходных, утверждения и называются аксиомами. В современной науке вопрос об истинности аксиом, лежащих в основе какой-либо теории, решается либо в рамках других научных теорий, либо посредством интерпретации данной теории. Аксиоматиза́ция теории — явное указание конечного или счётного, рекурсивно перечислимого (как, например, в аксиоматике Пеано) набора аксиом и правил вывода. После того как даны названия изучаемым объектам и их основным отношениям, а также аксиомы, которым эти отношения должны подчиняться, всё дальнейшее изложение должно основываться исключительно на этих аксиомах и не опираться на обычное конкретное значение этих объектов и их отношений. Выбор аксиом, которые составляют основу конкретной теории, не является единственным. Примеры различных, но равносильных наборов аксиом можно встретить в математической логике и евклидовой геометрии. Набор аксиом называется непротиворечивым, если исходя из аксиом набора, пользуясь правилами логики, нельзя прийти к противоречию, то есть доказать одновременно и некое утверждение, и его отрицание. Австрийский математик Курт Гёдель доказал «теоремы о неполноте», согласно которым всякая система математических аксиом (формальная система), начиная с определённого уровня сложности, либо внутренне противоречива, либо неполна (то есть в достаточно сложных системах найдётся хотя бы одно высказывание, ни истинность, ни ложность которого не может быть доказана средствами самой этой системы). Примеры аксиом * Аксиома выбора * Аксиома параллельности Евклида * Аксиома Архимеда * Аксиома объёмности * Аксиома регулярности * Аксиома полной индукции * Аксиома Колмогорова * Аксиома булеана Примеры систем аксиом * Аксиоматика теории множеств * Аксиоматика вещественных чисел * Аксиоматика Евклида * Аксиоматика Гильберта (ru)
  • 在傳統邏輯中,公理是沒有經過證明,但被當作不證自明的一個命題。因此,其真實性被視為是理所當然的,且被當做演繹及推論其他(理論相關)事實的起點。當不斷要求證明時,因果關係毕竟不能無限地追溯,而需停止於無需證明的公理。通常公理都很簡單,且符合直覺,如「a+b=b+a」。 不同的系統,會預計不同的公理。例如非歐幾何的公理,和歐氏幾何的公理就有一點不同;另外,集合論的選擇公理在許多系統的建構中,也富有爭議。有些系統堅持不預設選擇公理。也有一些數學家在建構系統時,刻意排除掉皮亞諾公理中的數學歸納法,以確保所有的證明,都可以直接演算。 在數學中,公理這一詞被用於兩種相關但相異的意思之下——和。在這兩種意義之下,公理都是用来推導其他命题的起点。和定理不同,一個公理(除非有冗餘的)不能被其他公理推導出來,否則它就不是起點本身,而是能夠從起點得出的某種結果—可以乾脆被歸為定理了。 邏輯公理通常是被視為普遍為真的陳述(如 (A ∧ B) → A),而非邏輯公理(如a + b = b + a)則實際上是在一特定數學理論(如算術)中的定義性的性質。在後者的意思之下,公理又可被稱為「公設」。一般而言,非邏輯公理並不是一個不證自明的事實,而应该說是在建構一個數學理論的過程中被用來推導的一個形式邏輯表示式。要公理化一個知識系統,就是要去證明該系統的主張都可以由數目不多而又可明確理解的陳述(公理)推導出來。一般來說都有多種方法來公理化一個給定的數學領域。 然而,邏輯公理系統也並非唯一。直覺主義邏輯、模糊邏輯等新的邏輯結構,都建立在略有差異的公理上。因此,與其把公理看作不證自明的事實,不如看作是在一個特定的數學或邏輯系統中,先於一切證明的前設。 (zh)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 928 (xsd:integer)
dbo:wikiPageRevisionID
  • 744808353 (xsd:integer)
dbp:title
  • Axiom
dbp:urlname
  • Axiom
dct:subject
http://purl.org/linguistics/gold/hypernym
rdfs:comment
  • Ein Axiom ist ein Grundsatz einer Theorie, einer Wissenschaft oder eines axiomatischen Systems, der innerhalb dieses Systems nicht begründet oder deduktiv abgeleitet wird. (de)
  • 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 utilisée comme fondement d'un raisonnement. (fr)
  • 公理(こうり、Axiom)とは、その他の命題を導きだすための前提として導入される最も基本的な仮定のことである。一つの形式体系における議論の前提として置かれる一連の公理の集まりを公理系(Axiomatic system)という。公理を前提として演繹手続きによって導きだされる命題は定理とよばれる。多くの文脈で「公理」と同じ概念をさすものとして仮定や前提という言葉も並列して用いられている。 公理とは他の結果を導きだすための議論の前提となるべき論理的に定式化された(形式的な)言明であるにすぎず、真実であることが明らかな自明の理が採用されるとは限らない。知の体系の公理化は、いくつかの基本的でよく知られた事柄からその体系の主張が導きだせることを示すためになされることが多い。 なお、ユークリッド原論などの古典的な数学観では、最も自明(絶対的)な前提を公理(Axiom)、それに準じて要請される前提を公準(Postulate)として区別していた。 (ja)
  • 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ą. (pl)
  • An axiom or postulate is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Greek axíōma (ἀξίωμα) 'that which is thought worthy or fit' or 'that which commends itself as evident.' (en)
  • البديهية (باليونانية: أكسيوما αξιωμα) هي أي قضية تكون مقدمة لاستنتاج تصريحات أخرى منطقيا. ويمكن أن تكون البديهية هي العبارة، الافتراض، المقولة أو القاعدة التي تشكل أساسا للنظام الشكلي. بخلاف المبرهنات، البديهيات لا يمكن أن تشتق بمبادئ الاستنتاج، كما لا يمكن اثباتها عن طريق برهان شكلي - ببساطة لأنها مقدمات مفترضة - ليس هناك شيء آخر تستنتج منه منطقيا (والا سيفترض تسميتها نظريات). في بعض نظريات المعرفة (الابستمولوجيات) : تعتبر البديهيات حقائق ذاتية الصحة تستند إليها بقية المعارف. لكن لا تعترف باقي نظريات فلسفة المعرفة ببديهية ما يدعى بالبديهيات. (ar)
  • 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. (es)
  • In matematica si chiamano postulati o assiomi tutti e soli 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à. (it)
  • 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 worden (nl)
  • 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, é aceite como verdade e serve como ponto inicial para dedução e inferências de outras verdades (dependentes de teoria). Uma possível diferença entre postulado e axioma é a possibilidade de se provar um axioma, logo um axioma passaria a ser um teorema. Enquanto que os postulados são verdades evidentes que não requerem demonstrações. (pt)
  • Аксио́ма (др.-греч. ἀξίωμα — утверждение, положение), постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами. В современной науке вопрос об истинности аксиом, лежащих в основе какой-либо теории, решается либо в рамках других научных теорий, либо посредством интерпретации данной теории. (ru)
  • 在傳統邏輯中,公理是沒有經過證明,但被當作不證自明的一個命題。因此,其真實性被視為是理所當然的,且被當做演繹及推論其他(理論相關)事實的起點。當不斷要求證明時,因果關係毕竟不能無限地追溯,而需停止於無需證明的公理。通常公理都很簡單,且符合直覺,如「a+b=b+a」。 不同的系統,會預計不同的公理。例如非歐幾何的公理,和歐氏幾何的公理就有一點不同;另外,集合論的選擇公理在許多系統的建構中,也富有爭議。有些系統堅持不預設選擇公理。也有一些數學家在建構系統時,刻意排除掉皮亞諾公理中的數學歸納法,以確保所有的證明,都可以直接演算。 在數學中,公理這一詞被用於兩種相關但相異的意思之下——和。在這兩種意義之下,公理都是用来推導其他命题的起点。和定理不同,一個公理(除非有冗餘的)不能被其他公理推導出來,否則它就不是起點本身,而是能夠從起點得出的某種結果—可以乾脆被歸為定理了。 然而,邏輯公理系統也並非唯一。直覺主義邏輯、模糊邏輯等新的邏輯結構,都建立在略有差異的公理上。因此,與其把公理看作不證自明的事實,不如看作是在一個特定的數學或邏輯系統中,先於一切證明的前設。 (zh)
rdfs:label
  • Axiom (en)
  • بديهية (ar)
  • Axiom (de)
  • Axioma (es)
  • Axiome (fr)
  • Assioma (matematica) (it)
  • 公理 (ja)
  • Axioma (nl)
  • Aksjomat (pl)
  • Axioma (pt)
  • Аксиома (ru)
  • 公理 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:associatedBand of
is dbo:associatedMusicalArtist of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is http://purl.org/linguistics/gold/hypernym of
is foaf:primaryTopic of