数学基礎論・数理論理学 その14at MATH数学基礎論・数理論理学 その14 - 暇つぶし2ch640:１３２人目の素数さん 14/03/17 23:00:49.30 >>635 完全性定理の証明に（弱い形での）選択公理が必要になること、 可算理論の場合でも少なくとも算術は必要になること。 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch