①在现代哲学、数学、逻辑学、语言学中，命题是指一个判断（陈述）的语义（实际表达的概
念），这个概念是可以被定义并观察的现象。命题不是指判断（陈述）本身，而是指所表达的
语义。当相异判断（陈述）具有相同语义的时候，他们表达相同的命题
②定理是经过受逻辑限制的证明为真的叙述。一般来说，在数学中，只有重要或有趣的陈述才叫
定理。证明定理是数学的中心活动
相信为真但未被证明的数学叙述为猜想，当它经过证明後便是定理。它是定理的来源，但并非唯一来源。一个从定理其他定理引伸出来的数学叙述可以不经过成为猜想的过程，成为定理。
如上所述，定理需要某些逻辑框架，继而形成一套公理（公理系统）。同时，一个推理的过程，容许从公理中引出新定理和其他之前发现的定理
在命题逻辑，所有已证明的叙述都称为定理
望采纳 谢谢
温馨提示：答案为网友推荐，仅供参考