[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 45 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

383(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/10(日)10:03 ID:mjl0bfS3(10/41) AAS
>>378
補足 英文 Class (set theory) wikipedia

外部ﾘﾝｸ:en.wikipedia.org
Class (set theory)
(抜粋)
Examples
The collection of all algebraic structures of a given type will usually be a proper class. Examples include the class of all groups, the class of all vector spaces, and many others. I
省6

---

385(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/10(日)10:23 ID:mjl0bfS3(12/41) AAS
>>383
>However, the class existence axioms of NBG are restricted so that they only quantify over sets, rather than over all classes.
>This causes NBG to be a conservative extension of ZF.

つづき
ここ、実は ”conservative extension”にリンクが張ってあって、下記に飛べます（＾＾

外部ﾘﾝｸ:en.wikipedia.org
Conservative extension
省24

---

386(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/05/10(日)10:36 ID:mjl0bfS3(13/41) AAS
>>383
まず訂正
I
n category theory, a category whose collection of objects forms a proper class (or whose collection of morphisms forms a proper class) is called a large category.
　↓
In category theory, a category whose collection of objects forms a proper class (or whose collection of morphisms forms a proper class) is called a large category.

さて、なぜZFCGか？
省15

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.045s