【あさひ】高校数学の質問スレPart397 [無断転載禁止]©2ch.net

[0197 １３２人目の素数さん 2018/04/29(日) 12:17:15.04 ID:gbW3SPPi]

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