定理

The effect of obstacle with special size on audibility factor of DW-ILS is analyzed,and the numerical results are obtained.

采用电磁感应定理计算出了特定尺寸障碍物对分米波仪表着陆系统航向天线辐射场的散射，得到了该障碍物对跑道中心线上可听度系数影响的数值结果，并对此做出了分析。

Most of the traditional maximum flow problems are based on "Augmented chain theorem".

传统的最大流问题大多都是基于"增广链定理"。

By studying the generalized automorphism groups,we obtain some results which generalize some related classical theorems,including a theorem of P.

通过研究群的广义自同构群，该文得到了若干结果，推广了一些相关的经典定理，包括P。

Moreover, existence of analytic solutions for a linear iterative equation with variable coefficients is given by reducing to an auxiliary equation and using Schauder's fixed point theorem.

此外，本章还使用Schauder不动点定理，通过建立辅助方程，研究了变系数的线性型迭代方程解析解的存在性。

Moreover, existence of analytic solutions for a linear iterative equation with variable coefficients is given by reducing to an auxiliary equation and using Schauders fixed point theorem.

此外，、本章还使用Sehauder不动点定理，通过建立辅助方程，研究了变系数的线性型迭代方程解析解的存在性。

In this paper, using different geometric means, the introduction of the corresponding auxiliary function of the Lagrange theorem proof explored.

本文首先采用不同的几何手段，引进相应的辅助函数，对拉格朗日定理的证明进行了探索。

On the base of Frege's study, Russell put forward the theory of types to settle Russell's paradox. On the base of non-set, Russell brought forward axiom of infinity and axiom of option as the premises and built a system. He tried to defined the non-negative integer in logic terms and derive the theorems of arithmetic from the laws of logic by deductive method.

罗素在弗雷格研究的基础上，提出逻辑类型论来解决罗素悖论，以非集合论理论为基础，以无穷公理和选择公理为前提，利用逻辑概念定义数学概念，并构造系统，通过逻辑演绎法从逻辑公理推导数学定理。

My second axiom is that most people are wrong most of the time.

第二个定理是，大部分人在大部分时间都是错的。

Secondly, by using of the medium axiomatic set theory, a natural number system in MS is constructed, and it is proved that five axioms of Peano′s natural number system are theorems is MS.

其次，利用中介公理集合论MS的相关理论，构造了MS中的自然数系统，证明了Peano5条公理为MS中的定理。

The independence of Axiomatic system in essence means that if we delete any axiom or inference rule, then the set of theorem would be changed.

一阶谓词系统的独立性问题的实质是说：如果删除掉某条公理或推理规则，那么定理集将发生变化。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。