网站首页  情感咨询  情感美文  情感百科  情感生活  学习充电  旧版美文

请输入您要查询的词汇：

　

词汇 Axiom of replacement
分类 英语词汇 英语翻译词典
释义

Axiom of replacement

中文百科

替代公理 Axiom schema of replacement

（重定向自Axiom of replacement）

在公理化集合论和使用它的逻辑、数学和计算机科学分支中，替代公理模式是 Zermelo-Fraenkel 集合论的一个公理模式，它本质上断言一个集合在一个映射（泛函谓词）下的像也是一个集合。它对于构造特定的大集合是必需的。

英语百科

Axiom schema of replacement 替代公理

（重定向自Axiom of replacement）
Axiom schema of replacement: the image F[A] of the domain set A under the definable class function F is itself a set, B.
Axiom schema of collection: the image f[A] of the domain set A under the definable class function f falls inside a set B.

In set theory, the axiom schema of replacement is a schema of axioms in Zermelo–Fraenkel set theory (ZFC) that asserts that the image of any set under any definable mapping is also a set. It is necessary for the construction of certain infinite sets in ZFC.
随便看

　

依恋情感网英汉例句词典收录3870147条英语例句词条，基本涵盖了全部常用英语单词的释义及例句，是英语学习的有利工具。

　

Copyright © 2004-2024 Yiyi18.com All Rights Reserved
京ICP备2021023879号 更新时间：2025/10/15 13:31:47