Analysis Technique of the Existence of Mid-Value in the Differential;
微分中值点存在性命题证明技巧分析
The Logical analysis and Judgment on the Proving Form of mathematical Propositions;
数学命题证明形式的逻辑分析和判定
Excellent way of constructing auxiliary function in medium-value proposition proving;
中值命题证明中构造辅助函数的方法
Two Constructive Methods of Auxiliary Functions in The Proof of Differential Intermediate Value Propositions;
微分介值性命题证明中辅助函数构造两法
The simple proof of the Steinhaus chessboard problem and it's equivalent proposition
Steinhaus棋盘问题的简单证明及其等价命题
a subsidiary proposition that is assumed to be true in order to prove another proposition.
假定真实以便证明另一个命题的辅助命题。
To demonstrate the validity of(a hypothesis or proposition).
验证说明（一个假设或命题）的正确性
Different Demonstration and Generalization of a Classical Geometric Proposition
一道经典几何命题的多种证明与推广
in logic: a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident.
逻辑学中；不能证明或反证的命题；其真实性是不证自明的。
A subsidiary proposition assumed to be valid and used to demonstrate a principal proposition.
引理，辅助定理被认为是合理且被用于证明主要命题的次要命题
Establishing auxiliary function is the important meth od to testify median proposition.
构造辅助函数是证明中值命题的一种重要途径.
(logic) of a proposition; necessarily true or logically certain.
（逻辑学）一个命题；必然真实的，可明确论证的。
a logical proof of a proposition by showing that its negation leads to a contradiction.
通过否定一个命题得出矛盾结果的逻辑证明。
The proof of propositions embodies the importance of the theorem.
定理的重要性具体体现在命题的证明中。
The Unified Definition of Limit of Simple Function and New Prove of Related Propositions;
一元函数极根的统一定义及有关命题的新证明
The prove of Two Propositions in Techniques in Fractal Geometry;
关于《分形几何中的技巧》中的两个命题的证明
Anmotation for the Proof Axiomatic Independence of Proposotional Calculas;
关于命题演算公理系统独立性证明的注记
Some Proofs of One Proposition about Rank of Matrix and Its Generalization
关于幂等矩阵秩的一个命题的证明和推广