About: Axiomatic system     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatConceptualSystems, within Data Space : dbpedia.org associated with source document(s)

In mathematics, 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 consists of 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 typically means an axiomatic system, for example formulated within model theory. A formal proof is a complete rendition of a mathematical proof within a formal system.

AttributesValues
rdf:type
rdfs:label
  • Axiomatic system
  • Axiomensystem
  • Sistema axiomático
  • Sistema assiomatico
  • Système axiomatique
  • Axiomatische methode
  • Sistema axiomático
  • 公理系统
rdfs:comment
  • In mathematics, 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 consists of 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 typically means an axiomatic system, for example formulated within model theory. A formal proof is a complete rendition of a mathematical proof within a formal system.
  • 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.
  • En lógica y matemáticas, un sistema axiomático consiste en un conjunto de axiomas que se utilizan, mediante deducciones, para demostrar teoremas. 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.
  • 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.
  • 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.
  • 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.
  • 数学上,一个公理系统(或称公理化系统,公理体系,公理化体系)是一个公理的集合,从中一些或全部公理可以一併用來逻辑地导出定理。一个数学理论由一个公理系统和所有它导出的定理组成。一个完整描述出来的公理系统是形式系统的一个特例;但是通常完全形式化的努力僅带来在确定性上递减的收益,并让人更加難以阅读。所以,公理系统的讨论通常只是半形式化的。一个形式化理论通常表示一个公理系统,例如在模型论中表述的那样。一个形式化证明是一个证明在形式化系统中的表述。
  • 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 één voor één 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.
sameAs
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git39 as of Aug 09 2019


Alternative Linked Data Documents: PivotViewer | iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3235 as of Sep 1 2020, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2020 OpenLink Software