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