>>19
「可能無限に制限する必要がある場合」が
公理系が完全か不完全かという問題を論じる場合に限定されるという発想が、
ヒルベルト的思想なんじゃないか、ってことが言いたかったの。