Un refinamiento del concepto de sistema axiomático

Resumen

El objetivo de este artí­culo es presentar una concepción y formulación particular de los conceptos de derivación formal y de sistema axiomático, que no son ortodoxos, sin embargo, pertenecen a la lógica clásica. En particular, propongo que la definición de derivación formal incluya la posibilidad de establecer restricciones a la aplicación de las reglas de inferencia y que dicha definición modificada de derivación formal, forme parte de la definición misma de sistema axiomático. Esta nueva formulación mejora la noción sintéctica de derivación formal en sistemas axiomáticos, en el sentido de lograr mejor su adecuación con la noción semántica de consecuencia lógica.