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.

enciclopedista

Valid XHTML 1.0 Transitional