；如何提前知道它是否满足这个条件? 要得到这个模式的等价公式，首先把形如 "F"("x") 的任何东西都替代为新变量 "y"。接着在介入对应的 "x" 之后(就是说，在 "x" 被加以量词之后，或在陈述开始处如果 "x" 是自由的)立即就对 "y"加全称量词, 并用 "P"("x","y") 前卫这个量化。最后，使整个陈述是上述泛函谓词的唯一性条件的实质推论。让我们采用在 Zermelo-Fraenkel 集合论中替代公理的例子。这个模式声称，对于任何有一个变量的函数谓词 "F":首先，我们必须把