>>69
>>59のいう2つの完全性は
意味論的完全性と統語論的完全性（否定完全性ともいう）であって
>>68の「標準モデルで真ならば証明可能」という完全性はそれらとはまた別だよ。

>>68
その完全性で考えるのなら、
並べられる健全性も「証明可能ならば標準モデルで真」と解釈すべきでは？
モデルを与えることでどうして保証されるのか分からなくなるけど。