ゲーデルを選んだ理由も消してしまわれたのでしょうか？
もし書いておられたのであれば、お聞かせ願いたい。