たとえAがオブジェクトだとしても

内包公理
任意の性質 P に対して
∃a a = { x | P(x) }

がなけりゃ
A:= { x | ¬(x ∈ x) }
なんて置くことすらできんわな。