まあ一般向けの本なんで…
ゲーデル(+不完全性定理)とヒルベルトではネームバリューが雲泥の差