完全性定理で苦戦中

自分の中でHenkin定数と変数との交換あたりの理解が上手く行かず思うように再構成できない。

一週間くらい考えれば何とかなると信じたい。