１．「普通の証明」と「形式的証明」は違う →　これは共通認識

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