こういうのを見る度にヒルベルトが何のために無矛盾性を
示そうとしたのかがわかってないヤツが多いことをしみじ
みと感じる。