替代公理 Axiom schema of replacement
(重定向自Irreplaceability)
在公理化集合论和使用它的逻辑、数学和计算机科学分支中,替代公理模式是 Zermelo-Fraenkel 集合论的一个公理模式,它本质上断言一个集合在一个映射(泛函谓词)下的像也是一个集合。它对于构造特定的大集合是必需的。
网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
依恋情感网英汉例句词典收录3870147条英语例句词条,基本涵盖了全部常用英语单词的释义及例句,是英语学习的有利工具。