モデル理論を使って証明した→完全性定理により形式的証明が存在する→証明した

この第二段階の形式的証明がどれほど不自然で奇妙で病的な過程をたどっていても、
それを「数学の証明」と認めて読みとることになる

…ということを問題視しているという理解でいいのかな