グロタンディーク宇宙について、どうも僕は曲解していたような気がします。-- 本日も雑感垂れ流し日記。昨日の「入れ子の宇宙を可能とする公理」で、宇宙公理〈the universe axiom〉を認めてしまえば、グロタンディーク宇宙の無限系列 U0, U1, U2, ... が作…