{ x | ¬(x ∈ x) }

↑

これだけしか無いところに、どうやって「ラッセル集合を変項に指定」ってのをやるんだよwwwwwwwwwww