可以额外加一个一元关系S作为语言。然后那些公理如有必要,都加上一个判断a是否属于S。比如并集公理可以写成:
∀x((∀y∈x(S (y))) →∃z(∀u(∃y∈x(u∈y)→u∈z)))
当然把所有满足S(x)的x收集成类V,那么在V里看就是原来正常的ZFC了。