>>527
「ベン図の宇宙」は世田君の造語だが、集合全体の宇宙なら
「基礎論の宇宙」と同じく「集合全体の集まり」

IUTでどのような形でグロタンディーク宇宙が出てくるのかは知らないが
実際はなんか唐突に出てくるだけで、いわゆる「フカし」かと思う
だから山下も星も加藤文元ですらも「その宇宙ではない」という
そしてもこの件に関しては宇宙際で正当化できるとおもってるのは
望月新一の集合論モデルに関する初歩的な誤解であって
まあ、そんなこととは無関係に、望月新一の詭弁は単純に矛盾するのだろう

間違うことは恥じゃないが
間違いを認めず他人を蔑むのは恥ずかしい
望月新一も、そして世田君も