>>892
誤　望月さん 社会人としては いまいち
正　望月新一 数学者として集合論の初歩から誤解してる

証拠
(DfUv1) the profinite fundamental group associated to a Galois category, developed in SGA1, as well as
(DfUv2) the general nonsense of homological algebra surrounding derived functors such as cohomology functors
(cf. the discussion of (AlgCl), (HomRs) in [EssLgc], §3.8).
Here, we note that in both of these cases,
the necessity of passing to a larger universe in order to obtain a canonical construction of the object of interest
(i.e.,profinite fundamental group or cohomology module)
is a very substantive issue that is classically well understood and by no means “a matter of taste”.
Moreover, in both of these cases (DfUv1), (DfUv2),
identification of the larger universe with the original universe
— i.e., removal of the distinct labels for different universes (cf. (FA2))
— would result in a contradiction,namely, in the form of a clear violation of the axiom of foundation.

こんな馬鹿なこと云ってる時点で終わってる