分からない問題はここに書いてね478at MATH
分からない問題はここに書いてね478
- 暇つぶし2ch9:132人目の素数さん
17/11/25 19:33:15.89 PoVN6QqC.net
>>8
ペアノ算術を含む任意の無矛盾な公理系に対し、あるモデルM,Nおよび論理式φが存在して、M|=φかつN|≠φとできることを示せ、という問題がわかりません
次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch