[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 否定派 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

454(1): 2020/04/25(土)14:11 ID:nULhaJry(3/4) AAS
>>453
到達不能基数のWikipedia見たら、

>到達不能基数による真クラスの存在性
>…
> ZFCの公理に universe axiom (または同値な到達不能基数公理)を付け加えたものはZFCUと表される
>(これは ZFC に urelements を付け加えたものと混同しないように注意)。
> この公理系は、例えば全ての圏は 適切な米田埋め込み(en:Yoneda embedding)を持つということを証明するのに役立つ。
省3

---

455: 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)14:54 ID:ReTz6AXc(18/59) AAS
>>454
本スレで訊きなよ

---

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

---

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

---

ぬこの手 ぬこTOP 0.051s