Método axiomático o Axiomática

El método axiomático (o axiomática) consiste en la formulación de un conjunto de proposiciones o enunciados, llamados axiomas o postulados, los cuales guardan entre sí una relación de deductibilidad, y sirven de hipótesis o de condiciones para un determinado sistema. El objeto de un sistema axiomático es utilizar un pequeño número de propiedades y precisar cómo deducir de ellas todas las demás. El procedimiento consta de cuatro fases. En primer lugar se precisan los símbolos que van a ser utilizados, y que constituirán una especie de alfabeto. A continuación se precisan cuáles serán las combinaciones legales de esos símbolos. En tercer lugar se escoge un conjunto de fórmulas que son consideradas como primitivas: los axiomas o hipótesis. ...