a_22是ZFC语言内的任意公式，其自由变数有formula_23，但"B"在formula_22　则不是自由的。则：较不形式地说，这个公理叙述：若一个可定义的函数"f"的定义域为一集合，且对定义域的任一"x"，"f"("x")也都是集合，则"f"的值域会是一个集合的子集。这个限制被需要用来避免一些悖论。
7.无穷公理.Axiom of infinity令formula_26为formula_27，其中formula_28为某个集合，则存在一个集合"X"，使得空集formu