>>142
同感です。
>>144
述語論理の完全性と
Σ1文の完全性が混同されているという例ですね。