Sistema axiomático
From Wikipedia, the free encyclopedia
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 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. |