[kkylin]

For anyone interested in this topic: there are commentaries on this paper as well as Gödel's own lecture on this in Volume III of his Collected Works.