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

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

分からない問題はここに書いてね436 - 暇つぶし2ch743:１３２人目の素数さん
17/11/12 17:26:52.72 cPywtfD3.net
>>723
この問題も大学数学の常識なんですが、解いていただけませんか？
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません

次ページ

続きを表示

1を表示