1=ID:WLbxyLlj は問題を取り違えている

命題Pが証明可能か否か ではなく
命題Pの証明と称されるものPrfが証明担っているか否か 

前者は決定不能だが
後者は決定可能