El problema de la consistencia. Pruebas absolutas de consistencia. La codificación sistemática de la lógica formal. Un ejemplo de una prueba absoluta de consistencia. La idea de representación y su empleo en las matemáticas. Las pruebas de Gödel.

El razonamiento del teorema eran tan nuevo en el momento de su publicación, que sólo quienes se hallaban pertrechados con un profundo conocimiento de la literatura técnica sumamente especializada podía seguir y comprender plenamente la línea argumentativa del mismo. Actualmente, sin embargo, todas las conclusiones establecidas por GÖDEL son por todos reconocidas como verdaderamente revolucionarias por su honda significación filosófica. La finalidad del presente ensayo es hacer accesibles a los no especialistas el núcleo esencial de los hallazgos de GÖDEL y las líneas generales de su teorema.