0925132人目の素数さん垢版 | 大砲2017/12/19(火) 19:32:55.31ID:q8CaShy6 >>924 ペアノ算術を含む任意の無矛盾な公理系に対し、あるモデルM,Nおよび論理式φが存在して、M|=φかつN|≠φとできることを示せ、という問題がわかりません