替代公理 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.
- Ficus subulata
- Ficus swinhoei
- Ficus sycomorus
- ficus sycomoruss
- Ficus tannoensis
- ficus tannoensis rhombifolia
- Ficus tikoua
- Ficus tikoua Bur.
- Ficus tinctoria
- ficus trichocarpa
- Ficus trivia
- Ficus tsiangii
- Ficus tuphapensis
- Ficus undulata
- Ficus vaccinioides
- Ficus variegata
- ficus variegata variegata
- Ficus variolosa
- ficus variolosa lindl.
- Ficus vasculosa
- ficus vasculosa wall.
- Ficus virens
- Ficus virens var. sublanceolata
- Ficus virgata
- Ficus virus