>>789
いわゆるヒルベルトの第5問題はヒルベルト講演のものから少し形を変えたものである