【资料图】

导读

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

2、它对于构造特定的大集合是必需的。

免责声明：免责声明：本文由用户上传，如有侵权请联系删除！