>＞ 証明可能・不可能の判定は、決定問題と呼ばれているが、
>そういう判定をするのが目的ではないです。

別の話になってるね。目的も摩り替わってるし。
こういう詭弁を労するのが「広義直観主義」なのかな？