18/06/02 19:16:38.21 o6xuXmiU.net
>>444
無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるんだから
完全性定理によりτからφがLKにおいて証明可能となりますよ
なんでこんなこともわからないんですか？？？
バカってことでいいですね？
18/06/02 19:16:38.21 o6xuXmiU.net
>>444
無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるんだから
完全性定理によりτからφがLKにおいて証明可能となりますよ
なんでこんなこともわからないんですか？？？
バカってことでいいですね？