您要找的是不是:
[数] axiom of substitution
... aromatic substitution 芳香族取代; 芳族取代 axiom of substitution 替换公理 back substitution 倒转代换; 回代; 逆计算 ...
substitution axiom
... substituting group 取代基 substitution axiom 替换公理 substitution cipher 代换密码 ...
[数] axiom of replacement
... 替换定理 replacement theorem 替换公理 axiom of replacement 替换公式 replacement fomula ...