axiom schema of replacement 代换公理 ; 替代公理
Discrete Variation Axiom Schema 离散变化公理模式
Replacement Axiom Schema 替代公理模式
Axiom schema of collection 替代公理
axiom schema of separation 分离公理
axiom schema of specification 分离公理
axiom schema of specification detail 内涵公理
以上来源于: WordNet
应用推荐
模块上移
模块下移
不移动