何度も申し訳ありません。
もうひとつわからない部分があります。
新井敏康「数学基礎論」においてderivability conditionsのうちの
(D2)Pr(【A→B】)∧Pr(【A】)→Pr(【B】)
を証明してありますがよく分かりません。
考えている公理系をPAというものとして、PAの標準モデルが存在することを用いて
原始再帰的関数の問題に帰着させて証明するのではいけないのでしょうか？