傳統形式邏輯三段論由一類事物的不證自明的全稱判斷作為前提，可以推斷這類事物中部分判斷為真，那麼這個全稱判斷就是公理。如“有生必有死”，就屬於這種判斷。

在歐幾里得幾何系統中，下面所述的是幾何系統中的部分公理：

① 等於同量的量彼此相等。

②等量加等量，其和相等。

④ 彼此能重合的物體是全等的。

以下是常用的等量公理的代數表達：

①如果a=b，那麼a+c=b+c。

向左轉|向右轉

②如果a=b，那麼a－c=b－c。

④如果a=b，且c≠0，那麼a/c=b/c。

⑤如果a=b，b=c，那麼a=c。

在數學中，公理這一詞被用於兩種相關但相異的意思之下——邏輯公理和非邏輯公理。在這兩種意義之下，公理都是用來推導其他命題的起點。和定理不同，一個公理（除非有冗餘的）不能被其他公理推匯出來，否則它就不是起點本身，而是能夠從起點得出的某種結果—可以乾脆被歸為定理了。