>>199
>正しくは、ヒルベルト・プログラムの研究
>有限の立場（形式主義）
ここでいう有限の立場は具体的に言えば原始帰納的算術(PRA)
https://ja.wikipedia.org/wiki/%E5%8E%9F%E5%A7%8B%E5%B8%B0%E7%B4%8D%E7%9A%84%E7%AE%97%E8%A1%93
これはペアノ算術より弱い体系である