>>124
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ

わからないんですね



ようやく人の名前が出てきましたね
たとえば、どの論文が科学音痴なんですか？