>>691
もっちーはグロタンディーク宇宙が集合論論のモデルになることくらいは知ってていってる
しかし、それ以上のことは知らないっぽいし、forcingとかも全く知らないっぽい
口から出まかせで「Grothendieck宇宙の選択 に本質的に依存」とかフカシてる
そしてそれをベン図しか知らん素人が真に受ける
数学における後発発展途上国　日本の悲劇　イエメンか？