Sistema axiomático
Na Galipedia, a Wikipedia en galego.
 |
Artigo nos seus primeiros pasos. Este artigo relacionado coas matemáticas é, polo de agora, só un bosquexo. Traballa nel e contribúe a que a Galipedia mellore e medre. Existen igualmente outros artigos relacionados coas matemáticas que precisan de revisión e nos que posibelmente tamén poidas contribuír. |
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.
