>>81
ヒルベルトプログラムが数学を全て基礎付けるという意味でグローバルな公理系を
見出そうという取り組みであったことは理解しているか？
ゲーデルの不完全性定理がそのようなグローバルな枠組みを見出すことができない
という事実へ導いたことは知っているか？