>>208
俺は205じゃないけども
ヒルベルトの形式主義は別に計算機で証明をチェックすれば
厳密性が確保できる、とか言うことじゃなくて
証明を形式的に書き下せば自然数論なり実数論なり、
特定の形式的数学の無矛盾性が証明できるから、（りゃ
という思想だったはず
もちろん俺はヒルベルトの後継者だ！とか自負するのは勝手だけど
一寸ヒルベルトの考えに対する勝手な憶測が入りすぎかと