Sistema axiomático

http://pt.dbpedia.org/resource/Sistema_axiomático

Na matemática, um sistema axiomático, é qualquer conjunto de axiomas que podem ser ligados em conjunção para derivação lógica de teoremas. A matemática teórica consiste em um sistema axiomático e todos os seus teoremas. Um sistema axiomático que é completamente descrito é um tipo especial de sistema formal; porém o esforço para a formalização traz diminuição da certeza, e da legibilidade para pessoas. Uma prova formal é uma interpretação de uma prova matemática dentro de um sistema formal.
Sistema axiomático 
Na matemática, um sistema axiomático, é qualquer conjunto de axiomas que podem ser ligados em conjunção para derivação lógica de teoremas. A matemática teórica consiste em um sistema axiomático e todos os seus teoremas. Um sistema axiomático que é completamente descrito é um tipo especial de sistema formal; porém o esforço para a formalização traz diminuição da certeza, e da legibilidade para pessoas. Uma prova formal é uma interpretação de uma prova matemática dentro de um sistema formal. 
xsd:nonNegativeInteger 32 
xsd:integer 6225 
xsd:nonNegativeInteger 8069 
xsd:integer 42970118 

data from the linked data cloud