也可称作逻辑论证。逻辑论证就是用一个或一些已知为真的命题确定另一命题真实性或虚假性的思维过程，它包括证明和反驳。这是广义上的逻辑论证定义。狭义上的逻辑论证即逻辑证明。 按照不同的标准可以把证明作如下分类： 根据证明所运用的推理形式的不同，逻辑证明可分为：y演绎证明、归纳证明、类比证明；根据证明者在证明论题时，是否由论据直接过渡到论题，可将证明分为：直接证明与间接证明。
用逻辑证明，而不是用职位或权威。
你没有生活，而且你可以用数学逻辑证明这个结论。
然而，即使在处理抽象的数量概念的数学基础研究中，也不能达到最终逻辑证明的确定性。
However, we cannot reach the destination of certainty of logical justification ever in the foundational mathematical researches concerning the abstract digital concepts.
应用推荐