Sistema axiomático

Na Galipedia, a Wikipedia en galego.
Saltar para a navegação Saltar para a pesquisa

En matemáticas, un sistema axiomático é un conxunto calquera de axiomas, que poden ser usados, todos ou só algúns, para a derivación lóxica de teoremas. Unha teoría matemática consiste nun sistema axiomático e de todos os teoremas que del derivan.


Este artigo tan só é un bosquexo
 Este artigo sobre matemáticas é, polo de agora, só un bosquexo. Traballa nel para axudar a contribuír a que a Galipedia mellore e medre.
 Existen igualmente outros artigos relacionados con este tema nos que tamén podes contribuír.