替代公理

在公理化集合论和使用它的逻辑、数学和计算机科学分支中，替代公理模式是 Zermelo-Fraenkel 集合论的一个公理模式，它本质上断言一个集合在一个映射(泛函谓词)下的像也是一个集合。它对于构造特定的大集合是必需的。