El núcleo metodológico de las ciencias formales como la Lógica y la Matemática lo consti-tuye el método axiomático. Este método consiste en la postulación de un conjunto de pro-posiciones o enunciados los cuales guardan entre sí una relación de deducibilidad. Este con-junto de proposiciones recibe el nombre de sistema axiomático o sistema formal por cuanto el punto de inicio de toda la cadena deductiva lo constituyen los axiomas, proposiciones cuya verdad no se demuestra aunque se toman como verdaderas... |
