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.