数理論理学（数学基礎論） その12 at MATH数理論理学（数学基礎論） その12 - 暇つぶし2ch38:１３２人目の素数さん 17/11/14 01:20:00.43 vUTrW3BJ.netAを公理とするとき、A|-BもA|-¬Bも証明可能ではないですから、Bは決定不能命題ですか？ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch