Question

数学 意义是什么？性质是什么？条件是什么？定义，定理，公理呢？

Answer 1

（1）经过人类长期反复的实践检验是真实的，不需要由其他判断加以证明的命题和原理。如传统形式逻辑三段论关于一类事物的全部是什么或不是什么，那么这类事物中的部分也是什么或不是什么，也即如果对一类事物的全部有所断定，那么对它的部分也就有所断定，便是公理。又如日常生活中人们所使用的“有生必有死”，也属于这种不证自明的判断。

（2）某个演绎系统的初始命题。这样的命题在该系统内是不需要其他命题加以证明的，并且它们是推出该系统内其他命题的基本命题。
=公理

定理是从真命题（公理或其他已被证明的定理）出发，经过受逻辑限制的演绎推导，证明为正确的结论，即另一个真命题。例如“平行四边形的对边相等”就是平面几何中的一个定理。一般来说，在数学中，只有重要或有趣的陈述才叫定理。证明定理是数学的中心活动。定理需要某些逻辑框架，继而形成一套公理（公理系统）。同时，一个推理的过程，容许从公理中引出新定理和其他之前发现的定理。在命题逻辑中，所有已证明的叙述都称为定理。=定理