19/08/09 23:34:40.45 XhzJ+PC2.net
>>649
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ
19/08/09 23:34:40.45 XhzJ+PC2.net
>>649
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ
19/08/09 23:34:40.45 XhzJ+PC2.net
>>649
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ