関係ないが
不完全性定理より先にモデル理論
勉強しといたほうが理解がスムーズじゃないか？