sistema axiomático - Wikilingue - Encydia
En matemática, un sistema axiomático es un conjunto cualquiera de axiomas , que pueden ser usados, todos o sólo algunos, para la derivación lógica de teoremas . Una teoría matemática consiste de un sistema axiomático y de todos los teoremas de él derivados.
