ゲーデル数化というよりも第二不完全性が成り立つ最弱理論は何かという方がわかりやすいですね。
数年前にQより弱いR'_0で第一の方が証明されたというPDFを読んで浮かんだ疑問でした。