>>559
(引用開始)
>> 546
>>>（グロタンディーク宇宙も否定されるので 圏論にも不都合）
>>これ本当？　ソース示して　また妄想じゃないでしょうね
>(参考) 下記読んで
どこに「グロタンディーク宇宙も否定される」と書かれてんの？　君、日本語読めないの？　じゃ小学校の国語からやり直しなよ
(引用終り)

おいおい
文盲か（放送禁止用語）

(経緯再録)
>> 527
>>（グロタンディーク宇宙も否定されるので 圏論にも不都合）
>これ本当？　ソース示して　また妄想じゃないでしょうね
>> 522
>アウトです
>「V=Lを仮定」は、多くの数学者は否定的です
>（グロタンディーク宇宙も否定されるので 圏論にも不都合）
これ本当？　ソース示して　また妄想じゃないでしょうね
(引用終り)

基礎論自慢のばかサル>>96が 基礎論でスベルかよｗｗｗ
（ですね）人 も、ばかサルに乗せられるか おいおい
＜しばらく 5ch離れて 一ヵ月くらい大学確率論の本よめ！ 自分のバカさ加減が分かるだろう＞
中高一貫校向けにハッキリ書いておく

１）用語の確認しよう 下記な（＾＾
２）記号の濫用で L ⊂ V* ⊂ U* と書く
　ここに ⊂ は、集合の包含関係を 宇宙に適用したもので 等号＝ 不成立とする
　L：（ゲーデル）Constructible universe （standard inner model of ZFC、absolute and minimal）
　V*：(素の)フォン・ノイマン宇宙 V （到達不能基数は考えない）
　U*：グロタンディーク宇宙 到達不能基数を考える
　補足(下記より)
　・L is a standard inner model of ZFC absolute and minimal
　・V* 真のクラス
　・U* 強到達不能基数κのグロタンディーク宇宙
３）まとめると Lは、強到達不能基数κのグロタンディーク宇宙Uを否定している
　また 下記のように"構成可能性の公理は真か偽かのどちらかだと考えている者のほとんどは、偽だと考えている"とある
　百回音読してね

(参考)
https://en.wikipedia.org/wiki/Axiom_of_constructibility
Axiom of constructibility
(google訳)
構成可能性の公理は、数学における集合論の公理の一つであり、すべての集合は構成可能であると主張する。この公理は通常、V = Lと表記される。
Vは、すべての整礎集合のフォン・ノイマン宇宙を表し、
Lは構成可能集合を表す
影響
構成可能性の公理は集合論上の多くの問題を解決するものの、ZFC 公理と同じように集合論の公理として一般的に受け入れられているわけではない。実在論的な傾向を持つ集合論者のうち、構成可能性の公理は真か偽かのどちらかだと考えている者のほとんどは、偽だと考えている。[ 3 ]これは、与えられた集合の特定の部分集合（例えば、0♯⊆ω 存在し得ない）[要出典]であり、これらが全てであると信じる明確な理由はありません。その理由の一つは、この公理が十分に強力な大きな基数公理によって矛盾するからです

https://en.wikipedia.org/wiki/Constructible_universe
Constructible universe
L is a standard inner model of ZFC
L is absolute and minimal

つづく