1) Formal logics
形式化证明
2) formal proof method
形式化证明方法
3) formal proof
形式化的证明
5) informal proof
非形式证明
6) formal verification
形式验证<证明>
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条