たびたび、すいません。勉強不足な53です。
>>54がGrothendieck宇宙というものなのですか？
これは任意のxに対してＺＦＣ集合論から作ることが出来ますよね。
（超準解析の本にも書いてありました。）

・・・なにがＺＦＣでは足りないのかが分からない。
何か本あったら教えてください。