Sistema axiomático
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. |
