停止性問題

halt(x, y): xにyを適用した際に
  | 停止する場合 -> True
  | 無限ループする場合 -> False

X(x): halt(x, x)が
  | Trueの場合 -> 無限ループをする
  | Falseの場合 -> Trueを返す(停止する)

X(x)の指標をeしたとき

halt(e, e)が
  Trueを返すと仮定
    X(x)は無限ループするのでhalt(e, e)はFalseを返す
  Falseを返すと仮定
    X(x)はTrueを返す(停止する)のでhalt(e, e)はTrueを返す