ゲーデルとヒルベルト計画の可能性

１９３１年の時点では有限の立場の形式化に確信がなく、意見を留保したとみるべき。ヒルベルト学派自身が、有限の立場の「正しい定式化」を、ゲーデルの不完全性定理と２重否定解釈の後に、それらを踏まえてようやく認識できている。（Bernays）

ゲーデルは１９３３年ころから確定した意見を表明するようになり、すくなくとも１９６０年代の未発表論文まで、同じ意見がトレースできる。（全集）