| http://dbpedia.org/ontology/abstract
|
En lógica y matemáticas, un sistema axiomá … En lógica y matemáticas, un sistema axiomático consiste en un conjunto de axiomas que se utilizan, mediante deducciones, para demostrar teoremas. En otras palabras, la idea de un sistema axiomático consiste en dar al principio los axiomas, es decir, las afirmaciones que se aceptan como verdaderas, y después derivar, mediante deducción, todas las afirmaciones. Se debe evitar que los axiomas se puedan deducir a partir de los otros y, además, los axiomas deben ser consistentes. Ejemplos de sistemas axiomáticos deductivos son la geometría euclidiana compilada por Euclides en los Elementos y el sistema axiomático de la lógica proposicional.ema axiomático de la lógica proposicional.
, Ein Axiomensystem (auch: Axiomatisches Sys … Ein Axiomensystem (auch: Axiomatisches System) ist ein System von grundlegenden Aussagen, Axiomen, die ohne Beweis angenommen und aus denen alle Sätze (Theoreme) des Systems logisch abgeleitet werden. Die Ableitung erfolgt dabei durch die Regeln eines formalen logischen Kalküls. Eine Theorie besteht aus einem Axiomensystem und all seinen daraus abgeleiteten Theoremen. Mathematische Theorien werden in der Regel als Elementare Sprache (auch: Sprache erster Stufe mit Symbolmenge) im Rahmen der Prädikatenlogik erster Stufe axiomatisiert.rädikatenlogik erster Stufe axiomatisiert.
, En mathématiques, un système axiomatique e … En mathématiques, un système axiomatique est un ensemble d'axiomes dont certains ou tous les axiomes peuvent être utilisés logiquement pour dériver des théorèmes. Une théorie consiste en un système axiomatique et tous ses théorèmes dérivés. Un système axiomatique complet est un type particulier de système formel. Une théorie formelle signifie généralement un système axiomatique, par exemple formulé dans la théorie des modèles. Une démonstration formelle est une interprétation complète d'une démonstration mathématique dans un système formel.ation mathématique dans un système formel.
, In matematica, un sistema assiomatico (o assiomatica) è un insieme di assiomi che possono essere usati per dimostrare teoremi. Una teoria matematica consiste quindi in una assiomatica e tutti i teoremi che ne derivano.
, Аксіома́тика (англ. axiomatic system) — си … Аксіома́тика (англ. axiomatic system) — система аксіом деякої науки. Наприклад аксіоматика елементарної геометрії містить близько 20 аксіом, аксіоматика числового поля — 9 аксіом. В математиці важливу роль відіграє аксіоматика групи, аксіоматика метричного і векторного просторів. Багато інших сучасних наук також розвиваються на аксіоматичній основі, тобто на базі відповідної системи аксіом (аксіоматики). відповідної системи аксіом (аксіоматики).
, De axiomatische methode is een wijze van a … De axiomatische methode is een wijze van argumentatie in de formele wetenschappen (m.n. wiskunde en logica) waarbij resultaten worden gepresenteerd als een reeks stellingen die een voor een worden afgeleid uit een stelsel van axiomata en definities. Als paradigmatisch voorbeeld van de axiomatische methode geldt Euclides' Elementen; naar de inhoud van dit werk wordt ook wel gesproken van de geometrische methode. Andere voorbeelden van de axiomatische methode zijn alle werken die gebruikmaken van een formeel systeem, zoals de Principia Mathematica van Russell en Whitehead. In de zeventiende eeuw werden ook filosofische werken in een axiomatische vorm gegoten. Descartes gaf een aanzet tot deze gewoonte; Spinoza paste de methode toe in zijn Ethica. Ook in de fysica werd deze methode toegepast, bijvoorbeeld door Newton in zijn Philosophiae Naturalis Principia Mathematica.losophiae Naturalis Principia Mathematica.
, In mathematics and logic, an axiomatic sys … In mathematics and logic, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. A theory is a consistent, relatively-self-contained body of knowledge which usually contains an axiomatic system and all its derived theorems. An axiomatic system that is completely described is a special kind of formal system. A formal theory is an axiomatic system (usually formulated within model theory) that describes a set of sentences that is closed under logical implication. A formal proof is a complete rendition of a mathematical proof within a formal system.mathematical proof within a formal system.
, 数学上，一个公理系统（英語：axiomatic system，或称公理化系统，公理体系，公理化体系）是一个公理的集合，从中一些或全部公理可以一併用來逻辑地导出定理。一个数学理论由一个公理系统和所有它导出的定理组成。一个完整描述出来的公理系统是形式系统的一个特例；但是通常完全形式化的努力僅带来在确定性上递减的收益，并让人更加難以阅读。所以，公理系统的讨论通常只是半形式化的。一个形式化理论通常表示一个公理系统，例如在模型论中表述的那样。一个形式化证明是一个证明在形式化系统中的表述。
, Na matemática, um sistema axiomático, é qu … Na matemática, um sistema axiomático, é qualquer conjunto de axiomas que podem ser ligados em conjunção para logicamente derivar teoremas. Uma teoria matemática consiste em um sistema axiomático e todos os seus teoremas. Um sistema axiomático que é completamente descrito é um tipo especial de sistema formal. Uma prova formal é uma versão completa de uma prova matemática dentro de um sistema formal.va matemática dentro de um sistema formal.
, Sistem aksioma adalah sistem penerapan dalam matematika dari berbagai metode logika atas sekelompok unsur, relasi, dan operasi. Dalam proses penalaran matematika, suatu rumus (teorema) matematika terdiri dari beberapa hipotesis dan kesimpulan.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.answers.com/topic/axiomatic-system +
, http://mathworld.wolfram.com/AxiomaticSystem.html +
|
| http://dbpedia.org/ontology/wikiPageID
|
188401
|
| http://dbpedia.org/ontology/wikiPageLength
|
13944
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1118911147
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Alexandria +
, http://dbpedia.org/resource/Set_%28mathematics%29 +
, http://dbpedia.org/resource/Mathematical_proof +
, http://dbpedia.org/resource/Topology +
, http://dbpedia.org/resource/Infinite_set +
, http://dbpedia.org/resource/Commutative_ring +
, http://dbpedia.org/resource/Topological_space +
, http://dbpedia.org/resource/Axiom_schema +
, http://dbpedia.org/resource/Countably_infinite +
, http://dbpedia.org/resource/Absolute_geometry +
, http://dbpedia.org/resource/Formal_system +
, http://dbpedia.org/resource/Non-Euclidean_geometry +
, http://dbpedia.org/resource/Independence_%28mathematical_logic%29 +
, http://dbpedia.org/resource/Complex_analysis +
, http://dbpedia.org/resource/Inverse_element +
, http://dbpedia.org/resource/Contradiction +
, http://dbpedia.org/resource/Axiomatic_set_theory +
, http://dbpedia.org/resource/Theorem +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Georg_Cantor +
, http://dbpedia.org/resource/Giuseppe_Peano +
, http://dbpedia.org/resource/ZFC +
, http://dbpedia.org/resource/Consistency_proof +
, http://dbpedia.org/resource/Model_theory +
, http://dbpedia.org/resource/Continuum_hypothesis +
, http://dbpedia.org/resource/Formal_proof +
, http://dbpedia.org/resource/Primitive_notion +
, http://dbpedia.org/resource/Consistency +
, http://dbpedia.org/resource/Alfred_North_Whitehead +
, http://dbpedia.org/resource/Deductive_reasoning +
, http://dbpedia.org/resource/Natural_number +
, http://dbpedia.org/resource/Semantics +
, http://dbpedia.org/resource/Logicism +
, http://dbpedia.org/resource/Real_analysis +
, http://dbpedia.org/resource/Logic +
, http://dbpedia.org/resource/Theory_%28mathematical_logic%29 +
, http://dbpedia.org/resource/Principle_of_explosion +
, http://dbpedia.org/resource/Infinite_regress +
, http://dbpedia.org/resource/Number_theory +
, http://dbpedia.org/resource/Axiom_of_choice +
, http://dbpedia.org/resource/Principia_Mathematica +
, http://dbpedia.org/resource/Foundations_of_mathematics +
, http://dbpedia.org/resource/Category:Formal_systems +
, http://dbpedia.org/resource/Real_number +
, http://dbpedia.org/resource/Isomorphism +
, http://dbpedia.org/resource/Boolean-valued_function +
, http://dbpedia.org/resource/Naive_set_theory +
, http://dbpedia.org/resource/Bertrand_Russell +
, http://dbpedia.org/resource/Point_%28geometry%29 +
, http://dbpedia.org/resource/Line_%28geometry%29 +
, http://dbpedia.org/resource/Euclid +
, http://dbpedia.org/resource/Successor_function +
, http://dbpedia.org/resource/David_Hilbert +
, http://dbpedia.org/resource/First-order_logic +
, http://dbpedia.org/resource/Category:Methods_of_proof +
, http://dbpedia.org/resource/Category:Mathematical_axioms +
, http://dbpedia.org/resource/Cardinality +
, http://dbpedia.org/resource/Category:Conceptual_systems +
, http://dbpedia.org/resource/Mathematical_induction +
, http://dbpedia.org/resource/Euclidean_geometry +
, http://dbpedia.org/resource/Axiom +
, http://dbpedia.org/resource/Set_theory +
, http://dbpedia.org/resource/Peano_axioms +
, http://dbpedia.org/resource/Cardinality_of_the_continuum +
, http://dbpedia.org/resource/Felix_Hausdorff +
, http://dbpedia.org/resource/Recursive_set +
, http://dbpedia.org/resource/Gottlob_Frege +
, http://dbpedia.org/resource/Completeness_%28logic%29 +
, http://dbpedia.org/resource/Ring_%28mathematics%29 +
, http://dbpedia.org/resource/Zermelo%E2%80%93Fraenkel_set_theory +
, http://dbpedia.org/resource/Transformation_group +
, http://dbpedia.org/resource/Model_%28mathematical_logic%29 +
, http://dbpedia.org/resource/G%C3%B6del%27s_incompleteness_theorems +
, http://dbpedia.org/resource/Separation_axiom +
, http://dbpedia.org/resource/Group_theory +
, http://dbpedia.org/resource/Emmy_Noether +
, http://dbpedia.org/resource/Homological_algebra +
|
| http://dbpedia.org/property/date
|
March 2018
|
| http://dbpedia.org/property/id
|
p/a014300
|
| http://dbpedia.org/property/reason
|
What does 'real world' mean in this context?
|
| http://dbpedia.org/property/title
|
Axiomatic method
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Citation_needed +
, http://dbpedia.org/resource/Template:More_footnotes +
, http://dbpedia.org/resource/Template:Portal +
, http://dbpedia.org/resource/Template:Clarify +
, http://dbpedia.org/resource/Template:Annotated_link +
, http://dbpedia.org/resource/Template:Wikiquote +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Em +
, http://dbpedia.org/resource/Template:Further +
, http://dbpedia.org/resource/Template:Mathematical_logic +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Springer +
, http://dbpedia.org/resource/Template:Disputed_inline +
, http://dbpedia.org/resource/Template:Main +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Formal_systems +
, http://dbpedia.org/resource/Category:Mathematical_axioms +
, http://dbpedia.org/resource/Category:Methods_of_proof +
, http://dbpedia.org/resource/Category:Conceptual_systems +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Axiomatic_system?oldid=1118911147&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Axiomatic_system +
|
| owl:sameAs |
http://sr.dbpedia.org/resource/%D0%90%D0%BA%D1%81%D0%B8%D0%BE%D0%BC%D0%B0%D1%82%D1%81%D0%BA%D0%B8_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC +
, http://af.dbpedia.org/resource/Aksiomatiese_stelsel +
, http://www.wikidata.org/entity/Q792542 +
, http://bn.dbpedia.org/resource/%E0%A6%B8%E0%A7%8D%E0%A6%AC%E0%A6%A4%E0%A6%83%E0%A6%B8%E0%A6%BF%E0%A6%A6%E0%A7%8D%E0%A6%A7_%E0%A6%AC%E0%A7%8D%E0%A6%AF%E0%A6%AC%E0%A6%B8%E0%A7%8D%E0%A6%A5%E0%A6%BE +
, http://gl.dbpedia.org/resource/Sistema_axiom%C3%A1tico +
, http://de.dbpedia.org/resource/Axiomensystem +
, http://sk.dbpedia.org/resource/Axiomatick%C3%BD_syst%C3%A9m +
, http://pt.dbpedia.org/resource/Sistema_axiom%C3%A1tico +
, http://hr.dbpedia.org/resource/Aksiomatski_sustav +
, http://ms.dbpedia.org/resource/Sistem_aksiom +
, http://ro.dbpedia.org/resource/Sistem_axiomatic +
, http://zh.dbpedia.org/resource/%E5%85%AC%E7%90%86%E7%B3%BB%E7%BB%9F +
, http://id.dbpedia.org/resource/Sistem_aksioma +
, http://yago-knowledge.org/resource/Axiomatic_system +
, http://it.dbpedia.org/resource/Sistema_assiomatico +
, http://uk.dbpedia.org/resource/%D0%90%D0%BA%D1%81%D1%96%D0%BE%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0 +
, http://fr.dbpedia.org/resource/Syst%C3%A8me_axiomatique +
, http://no.dbpedia.org/resource/Aksiomatisk_system +
, https://global.dbpedia.org/id/4xSWQ +
, http://es.dbpedia.org/resource/Sistema_axiom%C3%A1tico +
, http://nl.dbpedia.org/resource/Axiomatische_methode +
, http://bg.dbpedia.org/resource/%D0%90%D0%BA%D1%81%D0%B8%D0%BE%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D0%BD_%D0%BC%D0%B5%D1%82%D0%BE%D0%B4 +
, http://rdf.freebase.com/ns/m.019sgc +
, http://dbpedia.org/resource/Axiomatic_system +
|
| rdf:type |
http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/Instrumentality103575240 +
, http://dbpedia.org/class/yago/System104377057 +
, http://dbpedia.org/class/yago/WikicatFormalSystems +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/Artifact100021939 +
, http://dbpedia.org/class/yago/WikicatConceptualSystems +
|
| rdfs:comment |
数学上，一个公理系统（英語：axiomatic system，或称公理化系统，公理体系，公理化体系）是一个公理的集合，从中一些或全部公理可以一併用來逻辑地导出定理。一个数学理论由一个公理系统和所有它导出的定理组成。一个完整描述出来的公理系统是形式系统的一个特例；但是通常完全形式化的努力僅带来在确定性上递减的收益，并让人更加難以阅读。所以，公理系统的讨论通常只是半形式化的。一个形式化理论通常表示一个公理系统，例如在模型论中表述的那样。一个形式化证明是一个证明在形式化系统中的表述。
, En mathématiques, un système axiomatique e … En mathématiques, un système axiomatique est un ensemble d'axiomes dont certains ou tous les axiomes peuvent être utilisés logiquement pour dériver des théorèmes. Une théorie consiste en un système axiomatique et tous ses théorèmes dérivés. Un système axiomatique complet est un type particulier de système formel. Une théorie formelle signifie généralement un système axiomatique, par exemple formulé dans la théorie des modèles. Une démonstration formelle est une interprétation complète d'une démonstration mathématique dans un système formel.ation mathématique dans un système formel.
, En lógica y matemáticas, un sistema axiomá … En lógica y matemáticas, un sistema axiomático consiste en un conjunto de axiomas que se utilizan, mediante deducciones, para demostrar teoremas. En otras palabras, la idea de un sistema axiomático consiste en dar al principio los axiomas, es decir, las afirmaciones que se aceptan como verdaderas, y después derivar, mediante deducción, todas las afirmaciones. Se debe evitar que los axiomas se puedan deducir a partir de los otros y, además, los axiomas deben ser consistentes. Ejemplos de sistemas axiomáticos deductivos son la geometría euclidiana compilada por Euclides en los Elementos y el sistema axiomático de la lógica proposicional.ema axiomático de la lógica proposicional.
, Ein Axiomensystem (auch: Axiomatisches Sys … Ein Axiomensystem (auch: Axiomatisches System) ist ein System von grundlegenden Aussagen, Axiomen, die ohne Beweis angenommen und aus denen alle Sätze (Theoreme) des Systems logisch abgeleitet werden. Die Ableitung erfolgt dabei durch die Regeln eines formalen logischen Kalküls. Eine Theorie besteht aus einem Axiomensystem und all seinen daraus abgeleiteten Theoremen. Mathematische Theorien werden in der Regel als Elementare Sprache (auch: Sprache erster Stufe mit Symbolmenge) im Rahmen der Prädikatenlogik erster Stufe axiomatisiert.rädikatenlogik erster Stufe axiomatisiert.
, Sistem aksioma adalah sistem penerapan dalam matematika dari berbagai metode logika atas sekelompok unsur, relasi, dan operasi. Dalam proses penalaran matematika, suatu rumus (teorema) matematika terdiri dari beberapa hipotesis dan kesimpulan.
, Na matemática, um sistema axiomático, é qu … Na matemática, um sistema axiomático, é qualquer conjunto de axiomas que podem ser ligados em conjunção para logicamente derivar teoremas. Uma teoria matemática consiste em um sistema axiomático e todos os seus teoremas. Um sistema axiomático que é completamente descrito é um tipo especial de sistema formal. Uma prova formal é uma versão completa de uma prova matemática dentro de um sistema formal.va matemática dentro de um sistema formal.
, Аксіома́тика (англ. axiomatic system) — си … Аксіома́тика (англ. axiomatic system) — система аксіом деякої науки. Наприклад аксіоматика елементарної геометрії містить близько 20 аксіом, аксіоматика числового поля — 9 аксіом. В математиці важливу роль відіграє аксіоматика групи, аксіоматика метричного і векторного просторів. Багато інших сучасних наук також розвиваються на аксіоматичній основі, тобто на базі відповідної системи аксіом (аксіоматики). відповідної системи аксіом (аксіоматики).
, In mathematics and logic, an axiomatic sys … In mathematics and logic, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. A theory is a consistent, relatively-self-contained body of knowledge which usually contains an axiomatic system and all its derived theorems. An axiomatic system that is completely described is a special kind of formal system. A formal theory is an axiomatic system (usually formulated within model theory) that describes a set of sentences that is closed under logical implication. A formal proof is a complete rendition of a mathematical proof within a formal system.mathematical proof within a formal system.
, De axiomatische methode is een wijze van a … De axiomatische methode is een wijze van argumentatie in de formele wetenschappen (m.n. wiskunde en logica) waarbij resultaten worden gepresenteerd als een reeks stellingen die een voor een worden afgeleid uit een stelsel van axiomata en definities. Als paradigmatisch voorbeeld van de axiomatische methode geldt Euclides' Elementen; naar de inhoud van dit werk wordt ook wel gesproken van de geometrische methode.wel gesproken van de geometrische methode.
, In matematica, un sistema assiomatico (o assiomatica) è un insieme di assiomi che possono essere usati per dimostrare teoremi. Una teoria matematica consiste quindi in una assiomatica e tutti i teoremi che ne derivano.
|
| rdfs:label |
Sistema axiomático
, Système axiomatique
, Аксіоматика
, Sistem aksioma
, Axiomatic system
, Axiomatische methode
, Sistema assiomatico
, Axiomensystem
, 公理系统
|
