Formal proof
[计] 形式证明, 形式证法
🧩 词语组成解析
formal
['fɔ:məl]
adj. （学校教育或培训）正规的;方式上的;礼仪上的;
n. <美>须穿礼服的社交集会;<口>夜礼服;
proof
[pruf]
n. 证明;校样;检验;（酒的）标准酒精度;
adj. 防…的;抗…的;能抵御;能防范;
vt. 给（织物）做防护处理，使防水（或防火等）;印…的校样;
vi. [印刷术] 校对;发酵;
prob, prov Prob, prov= test, 表示”测试,证明, 检验”
🗣️ 情景例句
Where are you going during Summer vacation?
暑假你打算去哪儿？
Never offer to teach fish to swim.
切莫教鱼游泳。
and one odd finding that makes the problem puzzling is that it looks very much as if sleeping is not simply a matter of giving the body a rest.
一项使人对这个问题感到困惑的奇怪的发现是，睡眠在很大程度似乎并不仅仅是为了使身体得到休息。