詳細は停止性問題の記事を参照)。