go top

Axiom schema of replacement

  • 替代公理(Zermelo-Fraenkel集合论中的替代公理模式断言集合在映射下的像也是集合,是构造大集合的必需条件)

网络释义英英释义

  代换公理

... 次序公理 axioms of order 存在公理 axiom of existence 代换公理 axiom schema of replacement ...

基于6个网页-相关网页

  替代公理

...rnative energy ; alternative energy sources ; Alternate Energy ; substitute energy 替代公理 axiom schema of replacement ; Replacement axiom ; Axiom schema of collection ; Axiom of boundedness 替代疗法 alternativemedicine ; alternative thera...

基于1个网页-相关网页

Axiom schema of replacement

  • abstract: 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.

以上来源于: WordNet

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定