替代公理

在公理化集合論和使用它的邏輯、數學和計算機科學分支中，替代公理模式是 Zermelo-Fraenkel 集合論的一個公理模式，它本質上斷言一個集合在一個映射(泛函謂詞)下的像也是一個集合。它對於構造特定的大集合是必需的。