ゲーデルに興味を示す人は多いね。