")。替代公理声称，给定一个集合 "A"，我们可以找到一个集合 "B"，它的成员完全是 "F" 在 "A" 的成员上的值。注意对于每个这样的谓词 "P" 都有一个相对应的公理；所以，这是一个公理模式。在 Zermelo-Fraenkel 公理的形式语言中，这个公理模式读做：换句话说，如果允许在公理模式中使用导出的泛函谓词，则这个公理模式可以写为：对于每个导出的单变量的泛函谓词 "F"；换句话说：通过外延公理可知这个集合 "B" 是唯一的。我们称这个集合 "B" 为 "A" 在 "F"