>>135
>>137
そういうのは力技じゃなくてもいいよ。Gの証明がないことを示すときに対角化補題

「TでAの証明がある」⇔「TでPr(A)の証明がある」

というのを既に示してあったはず。だからPr(A)とPr(B)の証明があればAとBの証明があり、よってA∧Bの証明が作れるのでPr(A∧B)の証明も存在する。