20/05/11 00:12:40.67 AHfZgdJQ.net
>>465
コメントありがとう
9個の話は、下記
”[i.e., the nine axioms of Zermelo-Fraenkel, together with the axiom of choice -
cf., e.g., [Drk], Chapter 1, §3].”
で、”the nine axioms”に言い掛かりつけて、「望月先生が、基礎論・集合論を分かってない」というに
私は、” [Drk], Chapter 1, §3].”を見なきゃ、始まらないだろうし
[Drk]氏が、その著作にどう書いているの問題でもあるので
「望月先生が、基礎論・集合論を分かってない」という根拠には、全くならないって話なのです（＾＾；
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
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].