I don't know why Gödel does not do this, perhaps because he was writing a research monograph, he expected his readers to understand this.
I don't know. This was perhaps. This was what he expected his readers. This was to understand this. Gödel does not do this. He was writing a research monograph.