よく知らんけど停止判定の不可能性は第1不完全性定理と等価じゃないの?