真のクラス
英：proper class
(1)クラスであり，(2)集合ではないもの
具体例：
全ての順序数の集まり
全ての群の集まり
全ての集合の集まり（Cf. ラッセルのパラドックス）
真のクラスであることの証明：
全ての順序数によるクラスとの間に全単射を与える
ーーー
2025/4/29 15:07
original：/tomiokario-close/真のクラス（proper class）