的公理；所以，这是一个公理模式。在 Zermelo-Fraenkel 公理的形式语言中，这个公理模式读做：换句话说，如果允许在公理模式中使用导出的泛函谓词，则这个公理模式可以写为：对于每个导出的单变量的泛函谓词 "F"；换句话说：通过外延公理可知这个集合 "B" 是唯一的。我们称这个集合 "B" 为 "A" 在 "F" 下的像，并指示它为 "F"("A") 或（使用集合建构式符号形式）{"F"("x"):"x"∈"A"}。有时引用这个公理不带唯一性要求：就是说，谓词 "P" 不被限制