やっと完全性定理の証明を理解できたわ。
項モデルとかヘンキン理論とか最初意味不明だったけど、地道にノートに取ってやったらわかりまひた。