1.
The Logical analysis and Judgment on the Proving Form of mathematical Propositions;
数学命题证明形式的逻辑分析和判定
2.
The Proposition of Mathematical Analysis Proved through the definition
一道用定义证明的数学分析命题的拓广
3.
Excellent way of constructing auxiliary function in medium-value proposition proving;
中值命题证明中构造辅助函数的方法
4.
The proving procedures of mathematical propositions construct the system deduced progressively from known conditions.
数学命题的证明步骤是由已知条件逐步推演形成的系统。
5.
If the containing type can be proved to be heavy speech type, the method of the mathematical proposition proving and reasoning is correct.
如果能证明该蕴涵式为重言式,那么其数学命题的证明推理形式就是正确的。
6.
in logic: a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident.
逻辑学中；不能证明或反证的命题；其真实性是不证自明的。
7.
Establishing auxiliary function is the important meth od to testify median proposition.
构造辅助函数是证明中值命题的一种重要途径.
8.
Two Constructive Methods of Auxiliary Functions in The Proof of Differential Intermediate Value Propositions;
微分介值性命题证明中辅助函数构造两法
9.
The Unified Definition of Limit of Simple Function and New Prove of Related Propositions;
一元函数极根的统一定义及有关命题的新证明
10.
Proofs of the Theorem of Sum Aggregate Enumerable Set is Countable Set;
关于"可数个可数集之并是可数集"命题的几种证明
11.
(logic) of a proposition; necessarily true or logically certain.
（逻辑学）一个命题；必然真实的，可明确论证的。
12.
A Million-Dollar Maths Question
悬赏百万美元证明数学难题
13.
The application of inductive method to the poof in higher mathematics;
数学归纳法在高等数学证明题中的应用
14.
Two Sequence Propositions and Their Application in the Provement of Some Inequalities with Summation Formula;
两个数列命题及其在若干和式不等式证明中的应用
15.
How to Constitute Auxiliary Functions --An Elementary Introduction to the Proof of the Mean - Value Theorem and Its Related Propositions;
如何构造辅助函数 ——浅谈中值定理及相关命题的证明
16.
On Problems in Mathematics Proof for Middle School Students and Resolutions;
浅谈中学生数学证明存在问题及其解决方法
17.
The simple proof of the Steinhaus chessboard problem and it's equivalent proposition
Steinhaus棋盘问题的简单证明及其等价命题
18.
a subsidiary proposition that is assumed to be true in order to prove another proposition.
假定真实以便证明另一个命题的辅助命题。