数理論理学（数学基礎論）　その12 at MATH
数理論理学（数学基礎論）　その12 - 暇つぶし2ch936:１３２人目の素数さん
18/06/14 08:54:41.39 frORz5xE.net
矛盾許容論理って
積極的に矛盾を導入するって立場と
矛盾律（⊥→A）を使わないって立場と
硬軟2種類有るよね

次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch