Since we are doing an informal proof, I will not name the axioms we are using nor will I attempt to prove the intermediate theorems used to make the proof work.

由于我们在进行不正式的证明，所以我不会为所使用的公理命名，也不会尝试去证明那些用来令证明有效的中间定理。

youdao

Using pipelines in this way is not restricted to text streams, although that is often where they are used.

管道的这种使用方式并不局限于文本流，尽管这是它的最常见用法。

youdao

To make sure innocent people are not used in this way, passengers should be selected for extra checks using a graded scale of risk, according to Prof Spieglhalter.

授大卫·斯皮格尔霍尔特教授还表示，为了保证不对无辜者使用这套安检措施，需要根据风险的轻重来选择进一步筛查的乘客。

youdao

Fellow New York Rep. Jerrold Nadler, a Democrat, said there were "real constitutional problems" with using taxpayer dollars to rebuild structures such as religious sanctuaries and altars that are not used by the general public.

WSJ: House clears disaster aid for houses of worship

New techniques used in the study, such as using ultrasound to measure artery plaque, are generally difficult, and not as well understood as cholesterol lowering, they say.

FORBES: Magazine Article