>>135,>>137
Prは、推論規則を忠実に算術化してる筈だから証明できるでしょ。
てゆーか、そもそもPrを算術的述語として構成するのが
まさに力技以外の何物でもないわけだが･･･orz