定理

It centers on the relationship between Godel"s incompleteness theorem and the paradox. The author expounds the influences which paradox exerts on Godel"s Incompleteness Theorems generating, constructing, and the process of proof, and tries doing some technical work, such as symbolizing, etc.

悖论与数理逻辑三大成就的关系：其中以悖论与哥德尔不完全性定理的关系为重点，从悖论对哥德尔不完全性定理产生、构造及证明过程的影响进行了论证，并尝试做一些符号化等技术性的工作。

In the first chapter (1.1.1)-(1.1.4) is studied by means of fixed point index theorem, not only the existence theorem is obtained, but the multiplicity is also obtained.

本文第一章利用这一理论研究方程(1.1.1)-(1.1.4)的正周期解问题，与已有研究成果相比，本章不仅获得了该类方程的正周期解的存在性定理又获得了正周期解的多解性定理，并将所取得的结论应用于一些具有实际背景的方程。

Motivated by this, we consider the global behavior of positive solutions of three-point boundary-value problems for second-order differential equations, under two different kinds of boundary-value problems, using fixed point theorem, fixed point index theorem and cone theory.

本文受到文献[7]的启发，运用不动点定理、不动点指数定理以及锥理论，分别研究了两种不同边值条件下二阶微分方程三点边值问题正解的整体性。

Aiming at the two propositions (the theorem of three concurrent forces balance and the inertia moment of multimetric polygon), the paper represents and theoretically proves that the condition of three concurrent forces balance should be modified, i.

针对建筑力学中的三力平衡汇交定理和正n边形截面的惯性矩两个命题，提出了应该对三力平衡汇交定理的条件加以修正，即对三力平衡问题中的"三力平行"这种特殊情况不必设条件加以限制，并从理论上加以证明。

The general form of the triple I solution of FMP is given. The monotonity theorem, the infimum theorem, and the existence theorem have been proved.

给出了FMP的三Ⅰ解的一般形式，证明了关于区间值模糊推理的单调性定理、下确界定理以及存在性定理。

The research of this thesis focuses on spectral complements of operator matrices, the Moore-Penrose inverse and Drazin inverse of projections in a C~*-algebra, Weyl theorem and infimum and generalized infimum of quantum effects on a Hilbert space.

本文研究内容涉及Hilbert空间中算子矩阵的谱补、C~*代数上投影算子的Drazin逆及Moore-Penrose逆、Banach空间上算子的Browder定理和Weyl定理、Hilbert空间中量子效应的下确界和广义下确界四个方面的内容。

This article compared the integrand of infinite integral and unbounded function integral by comparing the infinitesimal with the infinity, obtained the corresponding equivalence theorem of criterion of convergence of abnormal integral, and gave out the proof.

将无穷积分及无界函数积分的被积函数运用无穷小和无穷大比较的方法进行比较，得到了相应的反常积分敛散性极限审敛法的等价定理，并给予证明，从而可运用等价定理灵活的判断反常积分的敛散性。

For the analysis properties of infinite matrix,first,it establishes the automatic conti-nuity theorems on the sequence spaces with 0-GHP or WGHP,and the automaticboundedness theorem on the sequence spaces with 0-GHP.

在无穷矩阵的分析性质方面，建立了具有0-GHP或具有WGHP的矢值序列空间上无穷矩阵算子的自连续性定理，以及具有0-GHP矢值序列空间上无穷矩阵算子的自有界性定理。

An infinitesimal equivalence theorem is established in this paper.

建立了一个无穷小量等价的定理，文献1中的结果可作为本文定理的一个简单应用。

Based on the minimizing vector theorem of the fuzzy inner product space ,the pseudo fuzzy orthogonal vector is defined and the projected theorem of the fuzzy inner product space is testified.

在模糊内积空间的极小化向量定理基础上，给出了向量拟模糊正交定义，并在模糊内积空间中证明了投影定理。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。