替代公理 Axiom schema of replacement
（重定向自Irreplaceability）
在公理化集合论和使用它的逻辑、数学和计算机科学分支中，替代公理模式是 Zermelo-Fraenkel 集合论的一个公理模式，它本质上断言一个集合在一个映射（泛函谓词）下的像也是一个集合。它对于构造特定的大集合是必需的。
irreplaceability
/'iri,pleisə'biləti/
英汉-汉英词典
n. 无法调换,不能取代
词组 | 习惯用语
您要查找的是不是：
- irreplaceable adj. 不能调换的,不能代替的
- irresponsibility n. 无责任
- irreproducibility 非再生性
- traceability n. 可描绘,可描写,可追溯
irreplaceability n. 不能取代，无法调换
网络短语:
irreplaceability analysis 不可代替性分析
中文百科
英语百科
Axiom schema of replacement 替代公理
（重定向自Irreplaceability）
![Axiom schema of replacement: the image F[A] of the domain set A under the definable class function F is itself a set, B.](/Images/godic/202501/21/Axiom_schema_of_replacement.svg0514.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.](/Images/godic/202501/21/Codomain2_A_B.SVG0514.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.
- equidensography
- equidensoscopy
- equidep
- equideparture
- equidep gear
- equidepth section
- Equid herpesvirus
- equid herpesvirus 1
- Equid herpesvirus 2
- equid herpesvirus 3
- equid herpesvirus 4
- Equid herpesviruses 2 and 3
- equidifferent
- equidimension
- equi dimension
- equidimensional
- equidimensional ideal
- equidirectional
- equidirection line
- equidispersion
- equidistance
- equidistance curve
- equidistance curves
- equidistance feature
- equidistance line