一般来说,在数学中,只有重要或有趣的陈述才叫定理,证明定理是数学的中心活动.相信为真但未被证明的数学叙述为猜想,当它被证明为真后便是定理.它是定理的来源,但并非唯一来源.一个从其他定理引伸出来的数学叙述,可以不经过证明成为猜想的过程,成为定理.