Inter-universal geometry と ABC予想 (応援スレ) 74 (973ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
935: 09/11(木)08:10 ID:Fnw81hyh(1/3) AAS
>>930
＞”微分可能な関数のクラスや、連続関数のクラス、というのは、なぜ集合ではなくクラスというのでしょうか？”
それ、どっちも集合だけど
だって、関数の全体R→Rが集合じゃん
936: 09/11(木)08:14 ID:Fnw81hyh(2/3) AAS
＞立脚する公理系によって ある公理系からは宇宙でも 別の公理系からは集合になる
＞そういうことが、ありえるってことですね
集合論の公理系では、集合の全体は、集合になり得ない
つまり、集合の全体は、グロタンディーク宇宙になり得ない
したがって、もっちーが何をトチ狂ったかは知らないが、
集合の全体をＵとしたとき、Ｕはグロタンディーク宇宙にならんし
当然Ｕ∈Ｕにもならんから、彼がいうメンバーシップ問題の解決には全く結びつかん
省1
937: 09/11(木)08:15 ID:Fnw81hyh(3/3) AAS
微分可能な関数のクラスや、連続関数のクラス、というときのクラスは 実は集合論でいうクラスとは全然別の言葉
単に階級という程度の意味でしかない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 3.048s*