https://googology.fandom.com/ja/wiki/%E5%AE%87%E5%AE%99_(%E6%95%B0%E5%AD%A6)#.E7.9C.9F.E3.82.AF.E3.83.A9.E3.82.B9.E3.81.A8.E3.83.95.E3.82.A7.E3.83.95.E3.82.A1.E3.83.BC.E3.83.9E.E3.83.B3.E3.81.AE 巨大数研究 Wiki 宇宙 (数学) 1.3 真クラスとフェファーマンの 2 集合論における宇宙 2.1 フォン・ノイマン宇宙 2.2 構成可能宇宙 3 脚注 4 参考文献 3 Feferman, Solomon, and G. Kreisel. "Set-theoretical foundations of category theory." Reports of the midwest category seminar III. Springer, Berlin, Heidelberg, 1969.
https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf INTER-UNIVERSAL TEICHMULLER THEORY IV: ¨ LOG-VOLUME COMPUTATIONS AND SET-THEORETIC FOUNDATIONS Shinichi Mochizuki April 2020
P6 - cf. the discussion of Remark 3.3.1, (i). As one constructs sets at new levels of the ∈-structure of some model of axiomatic set theory - e.g., as one travels along vertical or horizontal lines of the log-theta-lattice! - one t
