11/10/07 20:23:04.83
>>146
同感です。
述語論理の関数・述語記号は、
関数と述語が入る変数。
ですから述語論理の完全性は
どんな関数や述語でも成り立つような規則なんです。
一方で理論特有の完全性定理とは、
何らかのモデルで具体的な関数・述語を解釈した場合の規則。
ですからこの2つ完全性定理の完全性は定義が異なるんです！
さらに不完全性定理の完全性もまた定義が異なる！
つまるところ3つの完全性があることに注意しなければならないんです＾＾；
11/10/07 20:23:04.83
>>146
同感です。
述語論理の関数・述語記号は、
関数と述語が入る変数。
ですから述語論理の完全性は
どんな関数や述語でも成り立つような規則なんです。
一方で理論特有の完全性定理とは、
何らかのモデルで具体的な関数・述語を解釈した場合の規則。
ですからこの2つ完全性定理の完全性は定義が異なるんです！
さらに不完全性定理の完全性もまた定義が異なる！
つまるところ3つの完全性があることに注意しなければならないんです＾＾；