Sistema axiomático deductivo
De Enciclopedia Symploké, la enciclopedia libre.
Sistema formado por un conjunto de enunciados no demostrados, denominados axiomas, y unas reglas deductivas que, aplicadas a ellos, nos permiten obtener otros enunciados llamados teoremas. Un ejemplo de sistema axiomático deductivo es la geometría expuesta en los Elementos de Euclides.
