ゲーデルはけっこう晩年精神を病んでいたらしい。