0342ご冗談でしょう?名無しさん垢版 | 大砲2018/04/04(水) 08:39:32.10ID:??? >>338 ペアノ算術を含む任意の無矛盾な公理系に対し、あるモデルM,Nおよび論理式φが存在して、M|=φかつN|≠φとできることを示せ、という問題がわかりません