数理論理学（数学基礎論） その11at MATH数理論理学（数学基礎論） その11 - 暇つぶし2ch404:１３２人目の素数さん 13/10/27 13:18:22.26 ゲーデル数を考えれば、論理式全体の集合なんて、ものすごく自明な気がするが 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch