数学基礎論・数理論理学 その11at MATH数学基礎論・数理論理学 その11 - 暇つぶし2ch70:１３２人目の素数さん 12/01/04 02:28:24.73 >>54 ビショップの直観主義数学は、古典論理上の数学より弱いって聞いたけど 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch