「ゲーデル化」 について