＞「普通に証明できてるものは『適当な』公理系で形式証明可能」
＞いや、「できないものもある」　
＞ → どちらを考えるにしても、ただの感想。正しい、間違って
＞いるの問題ではない。

どんな定理でも形式証明は可能なのだよ。いや、
どんな命題でも形式的証明は可能なのさ。なぜ
なら、その命題を公理として含む形式的体系を
考えればいいから

君はこんな簡単なことも知らなかったのかいｗ

形式証明は必ず出来るのさ！