ヒルベルトはゲーデル関連で語り草にはなるんじゃないか
なんか悪役みたいで失礼だが。