>>422
文法的な論理式を定めた後に「証明可能」「証明不可能」という区別を導入するんだから
「証明可能性論」はむしろ意味論の範疇に入るのではないか？
プログラミング言語の公理的意味論が「意味論」と呼ばれるのもこういう考え方からだろう。
「意味論的概念を使わない」という否定的な意味、すら怪しい。

>>424
同意。
証明不可能であることをシンタックスエラーとは言わない。
文法的でないという意味でしか使わない。