数学基礎論・数理論理学のスレッド その7at MATH数学基礎論・数理論理学のスレッド その7 - 暇つぶし2ch46:１３２人目の素数さん 10/12/29 13:38:38 「より基本的」というのが「証明できる論理式がより少ない」という意味なら 最小論理、直観主義論理、etc...があるけども 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch