＞Grothendieck宇宙の存在を仮定することと、
＞集合論で強到達不可能基数の存在を仮定する（公理として与える）
＞ことが、同じことだ、というのが･･･

集合全体の存在を示すのと同程度の話かと思われ。
もちろん、集合全体の存在は、ZFCからは証明できない。
基本中の基本。