定义和含义

从已经被证明的[:分类:定理|定理]，或者被假设成立的公理出发，运用演绎逻辑，得到了或者否定了某个命题的过程，叫做证明。