1) algebraic substitution axiom
代数替换公理
1.
The article puts forward and sets out clearly algebraic substitution axiom and the principle of duality, which are both universal logic laws.
提出和阐明了两个普遍的逻辑规律——代数替换公理与对偶原理。
2) axiom of replacement
替换公理
3) substitute
[英]['sʌbstɪtju:t] [美]['sʌbstə'tut]
代替,替换
4) Substitue
替代船，替换
5) replacement formula
替换公式
1.
Constructing an identity of two adjacent hypergeometry function, a replacement formula which was expressed by modulus k_1 and k_2 can be proved.
经构造两个邻次超几何函数的恒等式，可以证明用模数ｋ与ｋ_１表示的第一、二两种全椭圆积分的一个替换公式。
6) public substitution
公开替换
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条