- 477 名前：１３２人目の素数さん mailto:sage [2009/08/22(土) 00:20:15 ]
- >>475
そうだね
不完全性定理の方法で作った独立命題は自然数に関する命題になるね
初等的な教科書だと或る理論で別の理論を解釈できるということの
定義をちゃんと書いてる本は少ないしね
>>476
カット除去を利用する方法としては
LKのcut-free fragmentに対して、
LKの推論規則で場合分けして示す方法もあるっぽい。
Handbook of proof theoryに載ってる。
論理式をSkolem標準形に変換して
Herbrandの定理使って示す方法もあるんだっけ？
ただ個人的には、楽なのはやっぱりHenkinの証明法だと思う。
