結論をもう一度

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