一方で、この>>295-299のアプローチとは別に、ID:UTyjqEFh は

「 >>310のように考えても解決するのでは？」

と言っていたわけ。となれば、文脈上は、

「>>310が先に示せれば、それで ¬(x∈x) が証明できるぞ」

と言っていることになる。あるいは、

「>>310が先に示せれば、¬(x∈x) を使わずに疑問点が解消するぞ」

と言っていることになる。