ﾚｽ書き込み

Inter-universal geometry と ABC予想 (応援スレ) 74

PC,ｽﾏﾎ,PHSは ULA べっかんこ公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ

>>753
> >>751
> (引用開始)
> Grothendieck宇宙に幾つかの定義などなければ
> 集合であるGrothendieck宇宙がフォン・ノイマン宇宙より
> 「広い」などということはあり得ない
> 中卒は述語論理と公理主義からやり直すこと
> (引用終り)
> 
> 君は、望月IUTとグロタンディーク宇宙の勉強不足ｗｗｗ　；ｐ）
> １）ja.wikipedia グロタンディーク宇宙と到達不能基数 にあるように
> 　「型 κ である集合全体の集合 u(κ) は濃度 κ のグロタンディーク宇宙となる」を認めれば
> 　強到達不能基数 κ毎に グロタンディーク宇宙があり 強到達不能基数は一つではない
> ２）en.wikipedia Grothendieck universeで ”The existence of a nontrivial Grothendieck universe goes beyond the usual axioms of Zermelo–Fraenkel set theory”
> 　Inter-universal Teichmuller Theory IV で”We shall refer to a ZFC-model that also satisfies this additional axiom of the Grothendieck school as a ZFCG-model”
> 　要するに、グロタンディーク宇宙＋ZFCは、真の拡張であるから フォン・ノイマン宇宙に含まれるものは
> 　強到達不能基数による u(κ)に 含まれる■
> 
> (参考)
> https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BC%E3%82%AF%E5%AE%87%E5%AE%99
> グロタンディーク宇宙
> グロタンディーク宇宙と到達不能基数
> 強到達不能基数 κ が存在するとする。集合 S は任意の列 sn ∈ ... ∈ s0 ∈ S に対し |sn| < κ となるとき、型 κ であると呼ぶことにしよう。
> (S 自身は空列に対応している。)
> すると、型 κ である集合全体の集合 u(κ) は濃度 κ のグロタンディーク宇宙となる。
> (この証明は長くなるため、詳細は参考文献のブルバキの論文を参照。)
> 
> https://en.wikipedia.org/wiki/Grothendieck_universe
> Grothendieck universe
> The idea of universes is due to Alexander Grothendieck, who used them as a way of avoiding proper classes in algebraic geometry. Grothendieck’s original proposal was to add the following axiom of universes to the usual axioms of set theory: For every set
> s, there exists a universe
> U that contains s, i.e., s∈U.
> The existence of a nontrivial Grothendieck universe goes beyond the usual axioms of Zermelo–Fraenkel set theory; in particular it would imply the existence of strongly inaccessible cardinals. Tarski–Grothendieck set theory is an axiomatic treatment of set theory, used in some automatic proof systems, in which every set belongs to a Grothendieck universe. The concept of a Grothendieck universe can also be defined in a topos.[1]
> 
> つづく

ﾛｰｶﾙﾙｰﾙ SETTING.TXT

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・ULA
・べっかんこ(身代わりの術)
・べっかんこ(通常)
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

上下板覧索設栞歴

ぬこの手ぬこTOP 0.010s