>>45
P'は無限ループする、しない、に関わらず判定はできる。
どこにも矛盾はない。

一見パラドクス問題にも見えなくもないが、
実体は単なる作成者自身が問いをきちんと掌握できずに
放出した失敗オナニー。