分からない問題はここに書いてね437

分からない問題はここに書いてね437at MATH

分からない問題はここに書いてね437 - 暇つぶし2ch193:１３２人目の素数さん
17/11/17 18:21:46.07 fiLYoF4f.net
>>190
では、こちらの傑作問題もどうぞ
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません

次ページ

続きを表示

1を表示