あと、チューリングマシンの停止判定の不可能性から、
計算可能関数によって定義された数列について、
ある自然数がその数列に含まれるか否か判定するアルゴリズムが存在しないことも示せるのだが、
そこもどうするんだ？