不完全性定理によって「数学の基礎付けという指向性が打撃を受ける」という感覚がちょっとわからない。
無矛盾性の保証なんて贅沢なものはヒルベルトしか求めてないんじゃないの？