ま、それは良いとして

>>55
確か超積と超準解析には、Grothendieckの意味での
Universeの存在の保証はZFCでは「出来ない」
と書いてあった記憶があるけど

超準解析の本って何読んでるんですか？