現代数学の系譜11 ガロア理論を読む22at MATH
現代数学の系譜11 ガロア理論を読む22
- 暇つぶし2ch340:ｳ矛盾性に関して等価であることが示せること13)； (1.10) Shoenfield の絶対性定理により，集合論での命題として表したときにそれほど複雑な形にならない数学的命題については14)，ZFC での証明が得られれば，それから選択公理を用いない証明を作りなおすことができること； (1.11) 選択公理のオルタナティヴと考えられる決定性公理の成り立つ世界は，選択公理の成り立つ集合論の「宇宙」の内部モデルとしてとらえることができること- ウディン(H. Woodin) による（本書第II部を参照）； そして何よりもまず， (1.12) 選択公理の仮定のもとで展開される数学が非常に豊かなものであること， などがその理由として挙げられるだろう15)． （引用おわり）
次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch