>>330
たしかにそうですね、、、定義も書かずすみませんでした。


ところで、第二不完全性定理を証明する際に使われる導出性条件(derivability conditions)というのが３つありますよね。

D1 PA|- φ→Pr(【φ】)
D2 略
D3 PA|- Pr(【φ】)→ Pr(【 Pr(【φ】) 】)

このうちのD1とD3は何が異なるのでしょうか？ Pr(【ψ】)をD1のφとして考えれば、 D3はD1に含まれる気がするのですが。