公式、公理、定理、定律是什麽意思？

定理是經過邏輯限制後被證明為真的陳述。壹般來說，在數學中，只有重要的或者有趣的陳述才叫做定理。證明定理是數學的中心活動。定理壹般有壹個設定——很多條件。然後得出結論——在條件下成立的數學敘事。通常寫“如果條件成立，那麽結論成立。”用符號邏輯寫作是條件→結論。並且證明不被認為是定理的組成部分。法律是客觀事實的表述，是通過大量具體的客觀事實得出的結論。法律是壹種理論模型，用於描述特定情境和尺度下的現實世界，在其他尺度下可能無效或不準確。沒有壹個理論能描述宇宙中的所有情況，也沒有壹個理論能完全正確。公理是不言而喻的真理，其他知識必須依賴它們，其他知識也是從它們建立起來的。這種情況下的壹個公理可以在妳知道任何其他命題之前被知道。不是所有的認識論者都承認在這種意義上存在任何公理。在邏輯和數學中，公理不壹定是不證自明的真理，而是演繹中用來產生進壹步結果的壹種形式邏輯表達。對壹個知識系統進行公理化，就是證明它的所有主張都可以從壹小組獨立的句子中推導出來。這並不意味著他們可以獨立學習；通常有許多方法來公理化壹個給定的知識系統(比如算術)。數學家區分兩種類型的公理:邏輯公理和非邏輯公理。規則是人們假設用來描述某事物的規則。