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