定律定理定则公理公设原理

定律

定律是为实践和事实所证明，反映事物在一定条件下发展变化的客观规律的论断。

例如牛顿运动定律、能量守恒定律、欧姆定律等。

定律是一种理论模型，它用以描述特定情况、特定尺度下的现实世界，在其它尺度下可能会失效或者不准确。没有任何一种理论可以描述宇宙当中的所有情况，也没有任何一种理论可能完全正确。

定理

已经证明具有正确性、可以作为原则或规律的命题或公式。例如几何定理。

定理是从真命题（公理或其他已被证明的定理）出发，经过受逻辑限制的演绎推导，证明为正确的结论，即另一个真命题。例如“平行四边形的对边相等”就是平面几何中的一个定理。

一般来说，在数学中，只有重要或有趣（？）的陈述才叫定理。证明定理是数学的中心活动。

相信为真但未被证明的数学叙述为猜想，当它被证明为真后便是定理。它是定理的来源，但并非唯一来源。一个从其他定理引伸出来的数学叙述，可以不经过证明成为猜想的过程，成为定理。

定则

公认的一种用以表达事物间内在联系的规定或法则，其目的是帮助理解及记忆。如右手定则等。

公理

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

原理

自然科学和社会科学中具有普遍意义的基本规律。是在大量观察、实践的基础上，经过归纳、概括而得出的。既能指导实践，又必须经受实践的检验。

公设（公理）

所谓公理或公设，指的是某门学科中不需要证明而必须加以承认的某些陈述或命题，即“不证自明”的命题。一门学科如果被表示成公理的形式，那么它的所有命题就可以由这些公理或公设逻辑地推证出

来。如果我们把一门学科比作一幢大楼，那么该学科的公理或公设就像大楼的地基，整幢大楼必须以它为基础而建立起来。

如著名欧几里得的《几何原本》