さて、宣戦布告ついでに 下記バクダンを投下しますｗ（＾＾
要するに
１）Tarski–Grothendieckは、ZFCに宇宙公理を追加したもの
　これが 推移的であれば、それはグロタンディーク宇宙でもあり
　選択公理を仮定すると、すべてのグロタンディーク宇宙はタルスキ宇宙です
（つまり、タルスキの公理を満たします）
２）Grothendieck universe の項に
　”Grothendieck universes and inaccessible cardinals”とある
　cardinals と 複数形だよ 百回音読してねｗ（＾＾

(参考)
https://en.wikipedia.org/wiki/Tarski%E2%80%93Grothendieck_set_theory
Tarski–Grothendieck set theory
Axioms
(google訳)
TGには以下の公理が含まれています。これらはZFCの一部でもあるため、慣習的な公理です。
略
TG を他の公理的集合論と区別するのは、タルスキの公理です。タルスキの公理は、無限、選択、[ 1 ] [ 2 ] [ 3 ]および冪集合の公理も含意します。[ 4 ] [ 5 ]また、到達不可能な基数の存在も含意しており、そのおかげでTGの存在論はZFCなどの従来の集合論の存在論よりもはるかに豊かです。
・タルスキの公理（タルスキ 1939 [ 6 ]より改変）。すべての集合に対して
s集合が存在するu（宇宙）
略
簡単に言うと、タルスキの公理は、すべての集合がタルスキ宇宙に属すると述べています。タルスキ宇宙が推移的であれば、それはグロタンディーク宇宙でもあります。[ 7 ]逆に、選択公理を仮定すると、すべてのグロタンディーク宇宙はタルスキ宇宙です（つまり、タルスキの公理を満たします）。[ 8 ]

https://en.wikipedia.org/wiki/Grothendieck_universe
Grothendieck universe
Grothendieck universes and inaccessible cardinals
In fact, any Grothendieck universe is of the form
u(κ)for some κ.
This gives another form of the equivalence between Grothendieck universes and strongly inaccessible cardinals:
For any Grothendieck universe
U, |U| is either zero,
ℵ0, or a strongly inaccessible cardinal.
And if κ is zero, ℵ0, or a strongly inaccessible cardinal, then there is a Grothendieck universe u(κ).
Furthermore, u(|U|)=U, and |u(κ)|=κ.
Since the existence of strongly inaccessible cardinals cannot be proved from the axioms of Zermelo–Fraenkel set theory (ZFC), the existence of universes other than the empty set and Vω cannot be proved from ZFC either.
However, strongly inaccessible cardinals are on the lower end of the list of large cardinals; thus, most set theories that use large cardinals (such as "ZFC plus there is a measurable cardinal", "ZFC plus there are infinitely many Woodin cardinals") will prove that Grothendieck universes exist.