En lógica y matemáticas, un sistema axiomático consiste en un conjunto de axiomas que se utilizan, mediante deducciones, para demostrar teoremas. Ejemplos de sistemas axiomáticos deductivos son la geometría euclidiana compilada por Euclides en los Elementos y el sistema axiomático de la lógica proposicional.
