>>13
普通にゲーデルの不完全性定理を停止問題として言い換えられるのぐらい知ってて言ってるよね？。