数学基礎論・数理論理学のスレッド その7at MATH数学基礎論・数理論理学のスレッド その7 - 暇つぶし2ch216:１３２人目の素数さん 11/01/27 11:39:27 >>208 > 古典述語論理の体系が決定不可能であることの証明って、 > 不完全性定理と同等のものですよね？ 全く違います 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch