Sistema axiomático
De Wikipedia, la enciclopedia encyclopedia
En lógica y matemáticas, un sistema axiomático consiste en un conjunto de axiomas que se utilizan, mediante deducciones, para demostrar teoremas. En otras palabras, la idea de un sistema axiomático consiste en dar al principio los axiomas, es decir, las afirmaciones que se aceptan como verdaderas, y después derivar, mediante deducción, todas las afirmaciones. Se debe evitar que los axiomas se puedan deducir a partir de los otros y, además, los axiomas deben ser consistentes.[1] Ejemplos de sistemas axiomáticos deductivos son la geometría euclidiana compilada por Euclides en los Elementos[2] y el sistema axiomático de la lógica proposicional.