数学为什么真命题不能直接用与几何证明

题目

数学为什么真命题不能直接用与几何证明
老师上课时老喜欢说这样一句话：这是个真命题,但不能直接用,要推导
这是为什么,既然证明这命题是对的了,为什么还不能用,只能用书上粗体字标出来的定理?

答案

所谓定理,是用逻辑的方法判断为正确并作为推理的根据的真命题.
定理一定是真命题,真命题却不全是定理
定理可以直接用,是因为它已经定下来了 成为世界公认的东西
真命题只是真值为真的命题 虽然它也是符合逻辑的 但是真命题实在是太多了 不是所有真命题都能成为定理 如果没有成为定理的话就不能直接用 要推导 因为它没有被“定”下来
简单地说 就是大多数真命题的档次太低...没有被直接使用的资格...
其实这个问题困扰了我很久...我就是用上面的这套谬论说服我自己的...纯属个人看法...在这个问题上纠结没什么用...事实摆在那里...你不推导他不会给分...so...找个理由说服自己吧~