替代公理

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