En esta obra se exponen tanto la historia y la filosofía del método axiomático como muchas de sus realizaciones en el campo de la lógica y la matemática. Además, se compilan y traducen al español, en algunos casos por primera vez, muchas de las fuentes históricas esenciales de la axiomática antigua y moderna. El libro comienza con una introducción esquemática a la historia del método axiomático. Presenta, luego, una exposición amplia y sistemática de la estructura y las propiedades de los sistemas axiomáticos formales que se ilustra con numerosos ejemplos. Finalmente, hace un análisis epistemológico y filosófico del alcance y de los límites del método axiomático.

Breve historia del método axiomático.

Estructura de un sistema axiomático.

Interpretación de un sistema axiomático.

Propiedades de un sistema axiomático.

Teorías axiomatizadas.

Ventajas y dificultades del método axiomático.

Prueba de consistencia.

Apéndice 1 : <Las pruebas de consistencia.> Apéndice 2 : <Axiomas y sistemas axiomáticos: de Aristóteles a Kolmogorov.> Apéndice 3 : <El concepto de función.>