任意のプログラムxに対して、無限ループするかどうかを
確実に検出するプログラムPが存在すると仮定する

→P(x)が存在すると仮定

これはいいとして、


Pを用いて、次のようなプログラムP'を構成する：
P'は、入力xに対してPを用いて判定し････

→P'(x)
なんだよな。

なんかP'(P(x))って考えてしまう
定義と処理をごっちゃ混ぜにしてしまってる？