形式化的证明,formal proof

1)formal proof
形式化的证明

2)Formal logics
形式化证明

3)formal proof method
形式化证明方法

4)Formal proof
形式证明
例句>>

5)informal proof
非形式证明

6)formal verification
形式验证<证明>


补充资料：公理化方法(见公理化和形式化)


公理化方法(见公理化和形式化)
axiomatical method

　　gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
　　
说明：补充资料仅用于学习参考，请勿用于其它任何用途。

形式化的证明,formal proof