>>235
＞別に理解しなくても「正しさだけなら確認」できる。
＞というのが、ヒルベルトの形式主義。

違うなあ。「理解しなくても」「確認できる」なんていうのは
君が勝手にそう思ってるだけのこと。

実際には数学の理屈は文字の操作に完全に還元できるという発想。
まあ、唯名論だな。

しかしこれは大きな落とし穴がある。
つまりそもそも文字操作として表した形式化が正しいかどうかは
分からんってこと。だから実は理解ぬきには客観性なんかないって
ことさ。論理マンセーの素人が必ず陥る初歩的な穴だな。