amount of proof的意思|示意

Sometimes the abstraction itself may be so large that the theorem prover may take an inordinate amount of time and resources to complete the proof.

有时抽象本身可能是很大的工作量，以致定理证明程序可能花费过多时间和资源来完成证明。

As proof of the amount owed to it, the hospital offered in evidence a computer printout of the services rendered to the defendant and the amounts owed for them.

为了证明所欠的款额，医院以一份为被告所服务的电脑打印件和所欠的款额作为证据。

Perhaps, that is the reason for the existence of the immense amount of wrist watches, which seem to be the best proof of the highest value of time for the humans.

或许，这就是如此多的手表存在的原因吧，它看来就是时间对人类最宝贵的绝佳证明。