替代公理 Axiom schema of replacement
(重定向自Irreplaceability)
在公理化集合论和使用它的逻辑、数学和计算机科学分支中,替代公理模式是 Zermelo-Fraenkel 集合论的一个公理模式,它本质上断言一个集合在一个映射(泛函谓词)下的像也是一个集合。它对于构造特定的大集合是必需的。
单词 | irreplaceability |
释义 |
irreplaceability
|
随便看 |
|
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。