Un sistema axiomático es aquel que, a partir de un cierto número de proposiciones que se presuponen «evidentes» (conocidas como axiomas) y mediante deducciones lógicas, genera nuevas proposiciones cuyo valor de verdad es también lógico.