>>762
>グロタン宇宙は（歴史的にはZFCを意識して考え出された概念であるにしろ）何もZFCを前提にした概念ではない。

良い指摘ですね by 池上さん
(ですね)人が、モデルがぁ〜とか言っていた

が、数学史の示すところ
しばしば モデルが先で 公理の整備が後のときが多い
古くは ユークリッド幾何
平面幾何が積み上がって 「公理で整理しよう」となった

同様が、集合論
カントールが 集合論の定理を 積み上げた
ところが ラッセルパラドックスが見つかる
そこで 「公理で整理しよう」となった

もちろん
公理を整備すると
議論がすっきりして さらに数学が発展する

これを グロタン宇宙に見ると
グロタン先生は、「おれ代数幾何の圏論を自由自在にやりたい。ZFC集合論は狭い。おれさま宇宙だ」
と言ったかどうか？
ともかく グロタン宇宙を作って がんがん 代数幾何の圏論を推進した
それを見た 基礎論屋さん ZFC+到達不能基数 と等価？
気付いた人がいたんだ

しばしば 物事の順序が 公理→モデルでなく
先に 現実の数学のモデル→公理化しよう となる

まあ、群論や体論も同様さ
そぼくな 群論や体論からはじまって
後世に 定義を考えようぜ
となった（＾＾