>>585の581へのレスは
連続体仮説などの独立命題が高次圏に止揚される、
みたいなことを言ってるようにしか見えないけど
普通に考えて集合論的な独立性の話と高次圏は
どっちが根本的ということもなく、あまり関係のない話

正直なところ滅茶苦茶を言っているようにしか見えない