定理是什么意思

【定理是什么意思】定理的定义:是经过受逻辑限制的证明为真的叙述 。一般来说 , 在数学中 , 只有重要的陈述才叫定理 。证明定理是数学的中心活动 。相信为真但未被证明的数学叙述为猜想 , 当它经过证明后便是定理 。它是定理的来源 , 但并非唯一来源 。一个从其他定理引伸出来的数学叙述可以不经过成为猜想的过程 , 成为定理 。如上所述 , 定理需要某些逻辑框架 , 继而形成一套公理( 公理系统) 。同时 , 一个推理的过程 , 容许从公理中引出新定理和其他之前发现的定理 。在命题逻辑 , 所有已证明的叙述都称为定理 。

    推荐阅读