もし「ヒルベルト文庫」と呼ぶに相応しいものがあるとすれば、
ヒルベルト自身のマニュスクリプトの収集じゃないの？
それらはすべてゲッチンゲン保存されているものと。