19/10/21 22:24:07.99 P3acsak1.net
”The existence of a nontrivial Grothendieck universe goes beyond the usual axioms of Zermelo?Fraenkel set theory; in particular it would imply the existence of strongly inaccessible cardinals. ”
なので、”beyond the usual axioms of Zermelo?Fraenkel set theory”で、ZFを含んでいるでしょ（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
グロタンディーク宇宙
URLﾘﾝｸ(en.wikipedia.org)
Grothendieck universe
(抜粋)
The existence of a nontrivial Grothendieck universe goes beyond the usual axioms of Zermelo?Fraenkel set theory; in particular it would imply the existence of strongly inaccessible cardinals.