>>68
1.ぐずぐず言ってるが、早い話それが>>59のいう２つの完全性の混同だよ。
なお、標準モデルだけで真な命題が証明可能にはなり得ないし、
「健全性と完全性」と並べる完全性はどちらの完全性であるかも自明なことだ。
2. これは擁護してるのしてないのどっちだ？