User blog comment:Kyodaisuu/Pseudo Rayo's number/@comment-24061664-20140617085557/@comment-5150073-20140617093907

Why we can't use (((¬∃111(111∈11))∧11∈1)∧(¬∃111(111∈1∧(¬111=11)))) instead?