在数学中通过 一定论据而证明为正确的结论。如“平行四边形的对边相等”就是平面几何中的一个定理。