Is there a typographical error in the dover and God Created the Integers editions of Gödel's Incompleteness paper? Or is it correct?
Based on eq. 9 in part 2, I believe that there should be a negation sign over xB{17Genr} in equation 15. I know this is a esoteric, but if someone has a better translation (the translation in a source book on mathematical logic or Davies. Undecidability maybe) is it the same? Is it correct?
I should add that he merely says "by substituting p for y." And mere substitution shouldn't affect the negation in 9.