哥德爾表示將合式論問題(the theory of well-formed formulas)，轉成基礎數論問題(a problem of elmentary number theory)。