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.
由于我们在进行不正式的证明，所以我不会为所使用的公理命名，也不会尝试去证明那些用来令证明有效的中间定理。
QB type explosion-proof hook bridge crane work level is intermediate.
QB型防爆吊钩桥式起重机工作级别为中级。
The packaging film (10) of the bag body (19) has a moisture-proof layer (12) composed of an aluminum foil and an intermediate layer (13) composed of a drawn nylon.
袋体（19）的包装膜（10） 具有由铝箔形成的防潮层（12）、以及由延伸尼龙形成的中间层（13）。
应用推荐