0083132人目の素数さん垢版 | 大砲2017/11/26(日) 22:26:38.94ID:7ItByJUt >>81 >>82 ペアノ算術を含む任意の無矛盾な公理系に対し、あるモデルM,Nおよび論理式φが存在して、M|=φかつN|≠φとできることを示せ