数理論理学(数学基礎論) その12 at MATH数理論理学(数学基礎論) その12 - 暇つぶし2ch936:132人目の素数さん 18/06/14 08:54:41.39 frORz5xE.net矛盾許容論理って 積極的に矛盾を導入するって立場と 矛盾律(⊥→A)を使わないって立場と 硬軟2種類有るよね 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch