>>5
ヒルベルトプログラムについては子な人の言う通りのような気がすー