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