公理 · gōng lǐ
- 1. 名詞依據人類理性和願望發展起來、爲人們共同遵從的道理;即社會上公認的正確道理。例如世界有強權,沒有公理啊!英文generally acknowledged truth; universally accepted principle
- 2. 名詞經過人類長期反覆實踐的考驗、不需要再加證明的命題,如數學中的基本命題。英文axiom; self-evident truth
公理是一個漢語詞彙,讀音爲gōng lǐ,是指依據人類理性的不證自明的基本事實,經過人類長期反覆實踐的考驗,不需要再加證明的基本命題。
在數學中,公理這一詞被用於兩種相關但相異的意思之下——邏輯公理和非邏輯公理。在這兩種意義之下,公理都是用來推導其他命題的起點。和定理不同,一個公理(除非有冗餘的)不能被其他公理推導出來,否則它就不是起點本身,而是能夠從起點得出的某種結果—可以乾脆被歸爲定理了。