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.