定理和命題的關係

1、定理：已經證明具有正確性、可以作爲原則或規律的命題或公式，如幾何定理。一般爲某個演繹系統的初始命題。這樣的命題在該系統內是不需要其他命題加以證明的，並且它們是推出該系統內其他命題的基本命題。定理都是真命題。

2、命題：判斷一件事情的語句，叫做命題。命題由題設和結論兩部分組成。命題不一定是定理。