Sistema axiomático deductivo
De Enciclopedia Symploké, la enciclopedia libre.
Revisión a fecha de 17:05 13 jul 2006; DGM (Discusión | contribuciones)
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.
