在数学里，定理是指在既有命题的基础上证明出来的命题，这些既有命题可以是别的定理，或者广为接受的陈述，比如公理      数学定理的证明即是在形式系统下就该定理命题而作的一个推论过程      定理的证明通常被诠释为对其真实性的验证      由此可见，定理的概念基本上是演绎的，有别于其他需要用实验证据来支持的...