「応用」「役に立つ」を未解決問題の解決として
代表的な未解決問題のリストとして定評があったヒルベルトの23問題を考えると、
第1、第2、第10問題の解決に基礎論・数理論理学が使われている。
3/23 ≒ 13％を多いと見るか少ないと見るか。

第1と第2は元々基礎論の問題だったのだから当然だけど
第10問題は元々代数の問題が基礎論を使って解決した例。
これでも「目覚ましいものはない」と言ってしまう？