20/04/24 00:36:14.18 fi46Saxh.net
INTER-UNIVERSAL TEICHMULLER THEORY IV:LOG-VOLUME COMPUTATIONS AND SET-THEORETIC FOUNDATIONS
Shinichi Mochizuki April 2020
P67
Section 3: Inter-universal Formalism: the Language of Species
In the following discussion, we shall work with various models ー consisting
of “sets” and a relation “∈” ー of the standard ZFC axioms of axiomatic set theory
[i.e., the nine axioms of Zermelo-Fraenkel, together with the axiom of choice ー
cf., e.g., [Drk], Chapter 1, §3].
> nine axioms of Zermelo-Fraenkel
セクション3は主題に関係ないとはいえ、流石に専門外なのでよく知らなかったと認めて撤回したほうがいいと思うんだが
というか主題に関係ない専門外の部分でミスるなら書かなくていいんじゃ