>>279
別に「形式的証明」がなくても不安じゃありませんけど。
というか、形式的証明ができない事が分かったとしても
不安じゃないよ

無矛盾性の証明は形式的に証明できないね。でも、不安
じゃありません。自分の定理が、仮に「形式的に証明」
できなかったとしても不安ではありませんね。

その否定が形式的に証明されたのなら、俺って馬鹿、と
思うだろうけど。そんなことをする暇人はいないから、
気にしてないけどね