INDICE GENERAL
I: La axiomatización del conocimiento
II: ¿Son consistentes las matemáticas?
III. Dificultades para probar la consistencia
IV: En búsqueda de pruebas de consistencia
V: Las herramientas de la lógica formal
VI. La numeración de Gödel
VII: Entra la metamatemática en el panorama
VIII: El núcleo central de la prueba de Gödel
IX: Conclusiones
Bibliografía y referencias
