替代公理
此条目需要补充更多来源. (2022年12月29日)
致使用者:请搜索一下条目的标题(来源搜索:"替代公理"  -  网页,新闻,书籍,学术,图像),以检查网络上是否存在该主题的更多可靠来源(判定指引).
在公理化集合论和使用它的逻辑,数学和计算机科学分支中,替代公理模式(英语:axiom schema of replacement)是策梅洛-弗兰克尔集合论(ZFC)的一个公理模式,它本质上断言一个集合在一个映射(泛函谓词)下的像也是一个集合.它对于构造特定的大集合是必需的.
1 陈述
2 应用例子
3 历史和哲学
陈述编辑
假定 P 是一个双变量谓词,对于任何集合 x 有一个唯一的集合 y 使 P(x,y)