定理（theorem）通过公理或其它定理证明出来的结论。如勾股定理（the pythagorean theorem） 引理（lemma）本身也是定理，是在证明其它定理时使用到的次要前提。