Theorem machine prove
[计] 定理机器证明
🧩 词语组成解析
prove
[pru:v]
vt. 证明，证实;[法]验证，检定;显示;
vi. 显示出，证明是;
🗣️ 情景例句
Good afternoon, Mrs. Martin. I've come to see Mr. Martin.
您好，马丁夫人。我来看看马丁先生。
My hobby is collecting stones.
我的嗜好是收集石头。
that twenty or thirty pages of ideas and information would be capable of turning the present-day world upside down, or even destroying it.
二三十页材料中的思想和情报会使当今的世界天翻地覆，甚至毁灭这个世界。