proof

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

关于幂等矩阵秩的一个命题的证明和推广