Blanché, Robert: condicions fonamentals d'un sistema axiomàtic/es

condiciones fundamentales de un sistema axiomático

He aquí [...] las condiciones fundamentales a las que, para ser verdaderamente rigurosa, debe satisfacer una exposición deductiva:

1) Que sean enunciados explícitamente los términos primeros, con

ayuda de los cuales se propone definir todos los otros;

2) que sean enunciadas explícitamente las proposiciones primeras, con

ayuda de las cuales se propone uno demostrar todas las otras;

3) que las relaciones enunciadas entre los términos primeros sean puras

relaciones lógicas, y permanezcan independientes del sentido concreto

que se pueda dar a los términos;

4) que sólo estas relaciones intervengan en las demostraciones, independientemente del sentido de los términos (lo que prohíbe, en particular, tomar prestado algo a la consideración de las figuras).