Sistema axiomático

Na Galipedia, a wikipedia en galego.

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.

Traballo en progreso: Este artigo é, polo de agora, só un esbozo. Traballa nel e contribúe a que a Galipedia mellore e medre.