>>420
参考資料と解説ありがとうございます。資料は後ほどじっくり読んでみたいと思います。
やはりderivability conditions の証明は相当に難しいのですね。

すみません、まだ疑問があります。以下の推論はどこがおかしいでしょうか。以下を認めるとD1からD3がでてきてしまうのですが。


D1より
PA|- A ならば PA|-Pr(【A】)
また、
PA,A|- A
ゆえに、
PA,A|- Pr(【A】)
演繹定理より、
PA|- A→ Pr(【A】)