■ちょっとした物理の質問はここに書いてね226■

[0483 ご冗談でしょう？名無しさん 2018/06/13(水) 22:29:25.55 ID:???]

>>482
ペアノ算術を含む任意の無矛盾な公理系に対し、あるモデルM,Nおよび論理式φが存在して、M|=φかつN|≠φとできることを示せ

わからないんですか？