>>222
>>広い宇宙
>広いかなあ
>集合だよ？

まあ、下記でも みてちょ（宇宙は集合の場合と真クラスとあるよ。広さだけじゃない）
クラスをうるさくいうのは、ラッセルのパラドックスなどを警戒するからなのだ
典型は ZFCとかね

でも、ZFCをちょっとゆるめて ZFCの多くのクラスを 集合としても いいんじゃないの？ 圏論やるから
というのが、グロタンディーク宇宙の発想

公理の取り方で、抑制的なZFCでは 集合になれない集まり（クラス）が
グロタンディーク宇宙の公理で、集合になれる
（別の例だが 公理系により 集合になったりなれない例が 下記 石井大海氏 定理17(Shelah,1984)
　『任意のΣ1 3-集合がLebesgue可測なら，Vのℵ1をLから見ると到達不能基数に見える＊）』とか
　注＊ Lから見ると到達不能基数は 集合ではない。しかし、Vではℵ1は集合）

(参考)
https://youtu.be/viOSgiYJIwM?t=1
【圏論】Grothendieck宇宙って結局なんなの?
alg-d 2023/02/10
圏を定義したいだけなのに突如出てくる謎の存在「Grothendieck宇宙」
これについてざっくり解説します。
↓チャプター用
00:00 はじめに
00:14 U-集合、U-圏
10:22 Grothendieck宇宙の取り換え
14:25 Grothendieck宇宙の存在
17:08 まとめ

https://youtu.be/tG7-rzGS-ek?t=1
集合でない集まり(クラス)をどのように扱うのか【数学基礎論入門】
alg-d 2025/04/01
ZFCにおいて、集合にならない集まりをどのように扱えばいいのか解説します。
■PDFで証明を読みたい人は↓からDL
https://alg-d.com/math/ac/
↓チャプター用
0:00 はじめに
1:43 クラスの定義
4:19 クラスは略記である
6:50 クラスを使った定理の例
9:43 クラス関数

つづく