形式证法

[xíng shì zhèng fǎ]

• formal proof

参考释义

形式证法

• -