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