Algunos años más tarde publicó otra obra al encontrar la solución de un problema insoluble en, "La lógica de la demostrabilidad", publicado en 1993.