結局、「基礎論屋」と「普通の数学屋」の感想の違いだったみたいだね。

もう一度、書いておく。
＞自分が証明するときに形式的に証明されるか、どうか、なんて
＞気にしちゃいねーよ。だから、形式的に証明できるか、どうか
＞なんて分からないし、仮に形式的に証明ができないものだった
＞としても、気にしないね。普通に証明できればＯＫだ。