- 331 名前：１３２人目の素数さん mailto:sage [2011/11/12(土) 01:49:07.93 ]
- >>330
たしかにそうですね、、、定義も書かずすみませんでした。
ところで、第二不完全性定理を証明する際に使われる導出性条件(derivability conditions)というのが３つありますよね。
D1 PA|- φ→Pr(【φ】)
D2 略
D3 PA|- Pr(【φ】)→ Pr(【 Pr(【φ】) 】)
このうちのD1とD3は何が異なるのでしょうか？ Pr(【ψ】)をD1のφとして考えれば、 D3はD1に含まれる気がするのですが。
