20/04/19 21:53:28 ijGx7lvx.net
>>720
>「Grothendieck宇宙は同型を除いて一意。したがってinter-universalはあり得ない」（ドヤ顔）
とどめを刺すか？（＾＾
１．グロタンディーク宇宙は、すべての数学が実行可能な集合を与える（実際には、集合論のためのモデルを与える）（下記）
２．グロタンディーク宇宙は、下記のグロタンディーク宇宙公理と、ＺＦＣ＋到達不能基数 を公理とする、2つの道がある
３．この2つは、出発点は同じだが、いわゆる同型を除いて一意と考えられる（∵ 実際には、集合論のためのモデルを与える から）
URLﾘﾝｸ(ja.wikipedia.org)
グロタンディーク宇宙 （数式文字化けご容赦）
数学におけるグロタンディーク宇宙（英: Grothendieck universe、仏: Univers de Grothendieck