- 351 名前：１３２人目の素数さん [2005/04/28(木) 00:41:45 ]
- 不完全性定理の補助定理で
Aが公理系Nで証明可能であるなら、AからPr（g（A））を導き出してよい
公理系Nがｗ無矛盾であるなら、Pr（g（A））からAを導き出してよい
というのがありますが、
これは、「Aが証明可能である」から、（そういう意味のようなものを持ってる）Pr（g（A））を使ってもいいよ、
ということなのか、
そんなことではなくて、
ただ、形式的体系上の２つの記号列の関係として、（推論規則のような形で）
Aという論理式からPr（g（A））という論理式を導き出してもいい、（意味のようなものは関係なくて）
ということなのか、
ちょっと、わからないでいます。
誰か教えてください。
