公理

公理（又叫公設）即係某尐學科入面唔使證明就要承認嘅命題，即係「不證自明」。因為當係真嘅，好多嘢都由呢度用邏輯推出嚟。

例子

出名嘅歐幾里得《幾何原本》入面嘅五個公理：

1. 由任意一點到任意一點可以做直線
2. 一條有限直線可以繼續延長
3. 以任意點為心同埋任意嘅距離可以畫圓
4. 凡直角都相等
5. 同平面入面一條直線同另外兩條直線相交，如果喺直線同側嘅兩個內角加埋細過180°，噉呢兩條直線經無限延長之後喺呢一便一定相交

第五條公設就係出名嘅「平行公設」，或者叫做「第五公設」。佢引發咗幾何史上最出名嘅、長達兩千幾年嘅關於「平行線理論」嘅討論，最後誕生咗非歐幾何。