>>55,58
P'(P'(x))じゃなくてP'(P')

>>56
仮定⇒でっちあげが「可能」⇒これこれの入力を与えることが「可能」⇒論理的に「不可能」であることと矛盾