20/04/27 10:58:45.68 yKFtCO8V.net
>>481
>ちょっと間違いみたいなのを見つけた
＜補足＞
P78で
いま問題にしている
グロタンディークの宇宙
Wikipedia “Grothendieck Universe ” 英語版
で、図解で、グロタンディークの宇宙Uが、ZFCの集合全体Vに含まれる
つまり、グロタンディークの宇宙U ⊂ ZFCの集合全体V
みたいに書いているけど、どうなのか？
要するに、グロタンディークの宇宙U ⊂ ZFCの集合全体V なら、グロタンディークの宇宙Uは要らない？ｗ（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
グロタンディーク宇宙
グロタンディーク宇宙と到達不能基数
大まかに言うと、これはグロタンディーク宇宙が到達不能基数と同値
より形式的に言えば、次の2つの公理が同値である:
(U) すべての集合 x に対して、x ∈ U となるグロタンディーク宇宙 U が存在する。
(C) すべての基数 κ に対して、κ よりも巨大な強到達不能基数 λ が存在する。
強到達不能基数の存在は ZFC からは証明できない
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
宇宙 (数学)
圏論
圏論に歴史的につながる宇宙への別のアプローチの方法がある。これはグロタンディーク宇宙と呼ばれる。大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にも�