>>348
「全てが圏」で本当に最後まで世界のすべてを形式化できそうなんだし、それでいいじゃないか。
どうしてもできない、となってから集合なんてものを考えればいいのさ。