>>79
そもそも、ヒルベルトプログラム自体
「メタ理論で、対象理論の無矛盾性を証明する」
という意味で、フラットでないのだが。

そういうことも知らずに勝手に期待されても困る。