De entre las investigaciones que nutren la curiosidad de los filósofos de la matemática, comprender el itinerario intelectual de Gödel es una de las más apasionantes por las novedades que se han presentado en el último decenio y que se conocieron mediante la publicación crítica del archivo personal de Gödel en Princeton.
Some basic theorems on the foundations of mathematics and their implications
Tras una suficiente clarificación de los conceptos en cuestión será posible conducir estas discusiones [sobre la fundamentación] con rigor matemático, y el resultado será entonces que …
