替代公理 在公理化集合论和使用它的逻辑数学和计算机科学分支中替代公理模式英語axiom schema of replacement是策梅洛弗兰克尔集合论ZFC的一个公理模式它本质上断言一个集合在一个映射泛函谓词下的像也是一个集合它对于构造特定的大集合是必需的