替代公理 Axiom schema of replacement
（重定向自Axiom of replacement）
在公理化集合论和使用它的逻辑、数学和计算机科学分支中，替代公理模式是 Zermelo-Fraenkel 集合论的一个公理模式，它本质上断言一个集合在一个映射（泛函谓词）下的像也是一个集合。它对于构造特定的大集合是必需的。
Axiom of replacement
中文百科
英语百科
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.](/uploads/202412/22/Axiom_schema_of_replacement.svg0353.png)
![Axiom schema of collection: the image f[A] of the domain set A under the definable class function f falls inside a set B.](/uploads/202412/22/Codomain2_A_B.SVG0353.png)
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.
- symbolic learning的意思
- symbolic library的意思
- Symbolic link的意思
- Symbolic links的意思
- Symbolic location的意思
- symbolic logic的意思
- symbolic logical operator的意思
- symbolic logician的意思
- symbolic logicians的意思
- symbolic logic的意思
- symbolicly的意思
- symbolic machine的意思
- Symbolic Machine Code的意思
- symbolic machine instruction的意思
- symbolic machine language的意思
- symbolic macroassembler的意思
- symbolic manipulation的意思
- symbolic mark的意思
- symbolic masturbation的意思
- symbolic matching的意思
- symbolic mathematical laboratory的意思
- symbolic mathematical system的意思
- Symbolic mathematics的意思
- symbolic math system的意思
- Symbolic meaning的意思