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

The higher fees and burdensome documentation requirements--such as proof of address and Social Security cards--pushed immigrants into informal channels to send money overseas more quickly, less expensively and with fewer questions.

FORBES: On The Cover/Top Stories