＞普通に証明できてる定理は、『適当な』公理系で形式主義的に
＞証明可能
これは感想とか、意見の類でしかないよね。ご自由にどうぞ

俺の意見は、「証明不可能なものもある！」だ。というか、実は
どっちでもいいんだけどね。

俺が本当に言いたいことは、「それって、どちらにしても、結局
意見にしか過ぎない！」ということ